int printf(const char*,...);

__code code1(int n,__code(*exit___code)(int,void *),void *exit_env){
  printf("code1 : code entry1\n");
  goto exit___code(n,exit_env);
}

int main1 (){
  printf("main1 : main1 entry\n");
  goto code1(30,__return,__environment);
  return 0;
}

int main (){
  int n;
  n = main1();
  printf("return = %d\n",n);
  return 1;
}