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