int I1.F1(I2 i2, long counter, long initial_stack, long current_stack) { if (counter > 0) { return(i2.F2(this, counter - 1, initial_stack, (long)&counter)); } return(check((long)&counter, current_stack)); }
int I1.F1(I2 i2, int counter, long initial_stack, long current_stack) { int local; if (counter > 0) { return(i2.F2(this, counter - 1, initial_stack, (long)&local)); } return(check((long)&local, current_stack)); }