lambda_mountain 1.12.9

main := print-s(tail(
   (local a)
   a
));