lambda_mountain 1.12.9

main := print-s(match 2 (
   ()
   (y y)
));