main :: () -> void { a := fun(-2, 3,); print(a); }; t :: fun(1,2); fun :: (a:u64, b:u64)->u64 { return a+b; }; print :: (a:u64)->void { print_u64 a; };