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