#include <stdio.h>

__code factorial(int n,int result,int orig,__code(*print)(int,int,int,__code(*)(),__code(*)(),void*),__code(*exit1)(int,void *), void *exit1env)
{
    if (n<0) {
      printf("#0008:err %d!\n",n);
      goto (*exit1)(0,exit1env);
    }
    if (n==0)
      goto (*print)(n,result,orig,print,exit1,exit1env);
    else {
      result *= n;
      n--;
      goto factorial(n,result,orig,print,exit1,exit1env);
    }
}


int main( int ac, char *av[])
{
  int n;
  n = 10;
  goto factorial(n,1,n,print,__return,__environment);
  return 10;
}

__code print(int n,int result,int orig,__code(*print)(),__code (*exit1)(int, void*),void*exit1env)
{
  printf("#0032:%d! = %d\n",orig, result);
  asm volatile("movq (%%rdi), %%r10;"
               "movq $100, (%%r10);"
               "movq 0x18(%%rdi), %%rbp;"
               "movq 0x20(%%rdi), %%rsp;"
               "jmpq *0x48(%%rdi);"
               :"+D"(exit1env)::"r10"
               );
}