lambda_mountain 1.12.9

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