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