
import STDLIB/default-instruction-set.lm;
import STDLIB/default-primitives.lm;
import STDLIB/default-rules.lm;
import STDLIB/default-stdlib.lm;

main := (tail(
   (match 1_u64 (
      ()
      (1_u64 (print 1_u64))
      (2_u64 (print 2_u64))
      (3_u64 (print 3_u64))
   ))
   (match 2_u64 (
      ()
      (1_u64 (print 1_u64))
      (2_u64 (print 2_u64))
      (3_u64 (print 3_u64))
   ))
   (match 3_u64 (
      ()
      (1_u64 (print 1_u64))
      (2_u64 (print 2_u64))
      (3_u64 (print 3_u64))
   ))
));
