main :: () -> void { a : u64 : 1423; print_u64 a; };