main :: () -> void { print_u64 a; }; a :: f(2); f :: (arg:u64)->u64{ b:=arg; return b; };