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