1 2 3 4 5 6 7 8 9 10
main :: () -> void { print_u64 a; }; a :: f(2); f :: (arg:u64)->u64{ b:=arg; return b; };