import LIB/default.lm;

f := λ(: x U64). 1_u64;
f := λ(: x U64+Nonce1+Nonce2). 2_u64;
f := λ(: x U64+Nonce1). 3_u64;
f := λ(: x U64+Nonce2). 4_u64;

main := λ. (: (
  (print(f (: 0 U64+Literal+Constant)))
  (print(f (: 0 U64+Literal+Constant+Nonce1+Nonce2)))   
  (print(f (: 0 U64+Literal+Constant+Nonce1)))   
  (print(f (: 0 U64+Literal+Constant+Nonce2)))   
) Nil);