// Replace this function declaration by true declaration from corresponding header file
int ^1 (int p0, int p1, int p2, int p3)
{
	int r0=(int)p0, r1=(int)p1, r2=(int)p2, r3=(int)p3;
	int r4=0, r5=0, r6=0, r7=0, r8=0, r9=0, r10=0, r11=0, r12=0, /*r13=0,*/ r14=0, r15=0;
	int s=0;
#define STACK_DEPTH 20
#define PARAMETER_NUM 4			// number of function parameters
	int stack_array[STACK_DEPTH+PARAMETER_NUM-4];		// parameters after 4th one are stored in the stack
														// stack allocated for these parameters
	int* sp_p=(stack_array+STACK_DEPTH);
	int sp=(int)sp_p;
// sp_p[0]=(int)p4; sp_p[1]=(int)p5;	//...								// store all parameters after 4th one in the stack
#undef STACK_DEPTH
#undef PARAMETER_NUM

