main :: () -> void {
  print_u64 fun() + 4 + 5;
};

fun :: ()->u64 {
  return 123;
};