#include <stdio.h>
#include <setjmp.h>
#include <stdlib.h>

__code code1(int n,void *__return,void *__enviroment,int *__ret_p){
  void(*ret)(int,void *,int *);
  printf("code1\n");
  ret = (void(*)(int,void *,int *))__return;
  ret(n,__enviroment,__ret_p);
}

void *return1 (int n,void* env,int* __ret_p){
  printf("return1\n");
  *__ret_p = n;
  longjmp(*(jmp_buf*)env,1);
}

int main1 (){
  void *__return;
  void *__enviroment;
  int *__ret_p;
  printf("main1 entry\n");
  __enviroment = (void*)malloc(sizeof(jmp_buf));
  __ret_p = (int*)malloc(sizeof(int));
  if (setjmp(__enviroment)){
    free(__enviroment);
    printf("main1 return\n");
    // We haven't freed __ret_p's memory... Where is the best position of the free()?
    return *__ret_p;
  }
  __return = (void*)return1;
  goto code1(30,__return,__enviroment,__ret_p);
  return 0;
}

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