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