/* Stuff needed by cdizy: */
typedef short Guard;
/* External functions, don't include standard libs because cdizy is weird */
extern int atoi (const char *nptr);
extern int printf(const char *format, ...);
/* In order to be able to inspect the result... */
int res, T_res;
void twoloops(int O_a, int O_b)
{
/* Declare guards */
Guard T_G11101 = 1;
Guard G11101 = 1;
Guard T_G1101 = 1;
Guard G1101 = 1;
Guard T_G1110 = 1;
Guard G1110 = 1;
Guard T_G110 = 1;
Guard G110 = 1;
/* Declare/initialize tagged params */
int T_O_a = O_a;
int T_O_b = O_b;
/* Declare other variables */
int O_result;
int O_b10;
int O_a10;
int T_O_result;
int T_O_b10;
int T_O_a10;
/* Here is the body! */
O_a10 = 0;
T_O_a10 = 0;
O_b10 = 0;
T_O_b10 = 0;
G110 = 10 <= O_a;
T_G110 = 10 <= T_O_b;
G110__v__T_G110:
if (G110) G1101 = 1;
if (T_G110) T_G1101 = 1;
if (G110) if (G1101) O_a10 = (O_a10 + 1);
if (T_G110) if (T_G1101) T_O_b10 = (T_O_b10 + 1);
if (G110) if (G1101) O_a = (O_a - 10);
if (T_G110) if (T_G1101) T_O_b = (T_O_b - 10);
if (G110) G110 = 10 <= O_a;
if (T_G110) T_G110 = 10 <= T_O_b;
if (G110) goto G110__v__T_G110;
if (T_G110) goto G110__v__T_G110;
G1110 = 10 <= O_b;
T_G1110 = 10 <= T_O_a;
G1110__v__T_G1110:
if (G1110) G11101 = 1;
if (T_G1110) T_G11101 = 1;
if (G1110) if (G11101) O_b10 = (O_b10 + 1);
if (T_G1110) if (T_G11101) T_O_a10 = (T_O_a10 + 1);
if (G1110) if (G11101) O_b = (O_b - 10);
if (T_G1110) if (T_G11101) T_O_a = (T_O_a - 10);
if (G1110) G1110 = 10 <= O_b;
if (T_G1110) T_G1110 = 10 <= T_O_a;
if (G1110) goto G1110__v__T_G1110;
if (T_G1110) goto G1110__v__T_G1110;
O_result = ((O_a10 + O_b10) * 10);
T_O_result = ((T_O_a10 + T_O_b10) * 10);
/* Correlating point */
{ char *CP0; }
/* Set the output... */
res = O_result;
T_res = T_O_result;
}