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