main :: () -> void { print_u64 a; print_u64 b; }; a := 123; b :: 124;