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