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