lambda_mountain 1.12.9

main := print-s(match 123 (
   ()
   (000 2)
   (123 456)
   (789 0)
));