#include <stdio.h>

#undef WRONGNUMBER

typedef code
(*CCC)( int f1,int f2,int f3,int f4,int f5,int f6,int f7,int f8,int f9,int fa,int fb,int fc,int fd,int fe,int ff,
	code(*ret)(int),
	void *env);

code
tcode2( int f1,int f2,int f3,int f4,int f5,int f6,int f7,int f8,int f9,int fa,int fb,int fc,int fd,int fe,int ff,
	code(*ret)(int),
	void *env)
{
fprintf(stdout,"tcode2: f1=%d,f2=%d,f3=%d,f4=%d,f5=%d,f6=%d,f7=%d,f8=%d,f9=%d,fa=%d,fb=%d,fc=%d,fd=%d,fe=%d,ff=%d\n",
f1,f2,f3,f4,f5,f6,f7,f8,f9,fa,fb,fc,fd,fe,ff);
     goto ret(0),env;
}

code
tcode1(f1,f2,f3,f4,f5,f6,f7,f8,f9,fa,fb,fc,fd,fe,ff,ret,env)
	int f1,f2,f3,f4,f5,f6,f7,f8,f9,fa,fb,fc,fd,fe,ff;
	code(*ret)(int);
	void *env;
{
fprintf(stdout,"tcode1: f1=%d,f2=%d,f3=%d,f4=%d,f5=%d,f6=%d,f7=%d,f8=%d,f9=%d,fa=%d,fb=%d,fc=%d,fd=%d,fe=%d,ff=%d\n",
f1,f2,f3,f4,f5,f6,f7,f8,f9,fa,fb,fc,fd,fe,ff);
     goto ret(0),env;
}

code
tcode4(int x,int y,CCC junction,code(*ret)(int),void *env)
{
#ifdef WRONGNUMBER
     goto junction(0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,ret,env);
#else
     goto junction(0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,ret,env);
#endif
}

code
tcode0(int x,int y,code(*junction)(int,int,int,int,int,int,int,int,int,int,int,int,int,int,int,code(*)(int),void *),code(*ret)(int),void *env)
{
#ifdef WRONGNUMBER
     goto junction(0,1,2,3,4,5,6,7,8,9,10,11,12,13,ret,env);
#else
     goto junction(0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,ret,env);
#endif
}

int
main0()
{
#ifdef WRONGNUMBER
     goto tcode2(0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,
	return,environment);
#else
     goto tcode2(0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,
	return,environment);
#endif
}

int
main1()
{
#ifdef WRONGNUMBER
     goto tcode1(0,1,2,3,4,5,6,7,8,9,10,11,12,13,
	return,environment);
#else
     goto tcode1(0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,
	return,environment);
#endif
}

int
main2()
{
     goto tcode0(0,1,tcode1,return,environment);
}

int
main4()
{
     goto tcode4(0,1,tcode2,return,environment);
}

int
main()
{
    printf("#0089:main4\n");
    main4();
    printf("#0091:main2\n");
    main2();
    printf("#0093:main0\n");
    main0();
    printf("#0095:main1\n");
    main1();
return 0;
}

//