lambda_mountain 1.12.9

main := (
   print-s (dump-i(add(
      (inc (inc () ))
      (dec (dec (dec () )))
   )))
);