import LIB/default.lm;

main := λ. (: (
   ()
   (match 1_u64 (
      ()
      ( 2_u64 () )
   ))
) Nil);