main :: () -> void {
  print_u64 2;
};