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

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