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