main :: () -> void { a : u64 = fun(); a = a + 3; print_u64 a + 5; }; fun :: ()->u64 { return 1; };