import LIB/default.lm;

f := λ(: x Sized<8>). (: (
  ()
) Nil);

main := λ. (: (
  (f 1_u64)
  (f 1_i64)
) Nil);