lambda_mountain 1.12.9

main := print-s(match (A 1 (2 3)) (
   ()
   (000 2)
   ((A b (2 c)) (b c))
   (123 456)
   (789 0)
));