#define __environment _CbC_environment
#define __return _CbC_return 

#include "stdio.h"

/*
 * This is a first example of CbC, but it is not work on LLVM now
 * because of a variadic function
 */

__code factorial(int n,int result,int orig,__code(*print)(),__code(*exit1)(), 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);
    }
}

__code print(int n,int result,int orig,__code(*print)(),__code (*exit1)(),void*exit1env);

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

__code print(int n,int result,int orig,__code(*print)(),__code (*exit1)(),void*exit1env)
{
    printf("#0032:%d! = %d\n",orig, result);
    goto (*exit1)(0,exit1env);
}