static int return1() {
  ret 1;
}