main :: () -> void {
  a : u64 = fun();
  a = a + 3;
  print_u64 a + 5;
};

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