/* 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 parity_step(int O_ctx__input_0, int O_ctx__input_1, int O_ctx__input_2, int O_ctx__input_3, int O_ctx__input_4, int O_ctx__input_5, int O_ctx__input_6, int O_ctx__input_7, int O_ctx__parity, int O_ctx__done, int O_ctx_M32, int O_ctx_M32_nil, int O_ctx_M34, int O_ctx_M34_nil, int O_ctx_M36, int O_ctx_M36_nil, int O_ctx_M38, int O_ctx_M38_nil, int O_ctx_M40, int O_ctx_M40_nil, int O_ctx_M42, int O_ctx_M42_nil, int O_ctx_M44, int O_ctx_M44_nil, int O_ctx_M28, int O_ctx_M28_nil, int O_ctx_M12, int O_ctx_M12_nil, int O_ctx_M14, int O_ctx_M14_nil, int O_ctx_M16, int O_ctx_M16_nil, int O_ctx_M18, int O_ctx_M18_nil, int O_ctx_M20, int O_ctx_M20_nil, int O_ctx_M22, int O_ctx_M22_nil, int O_ctx_M24, int O_ctx_M24_nil, int O_ctx_M9)
{
  /* Declare guards */
  Guard T_G1111111111111111111111111111111110 = 1;
  Guard G1111111111111111111111111111111110 = 1;
  Guard T_G11111111111111111111111111111110 = 1;
  Guard G11111111111111111111111111111110 = 1;
  Guard T_G111111111111111111111111111110 = 1;
  Guard G111111111111111111111111111110 = 1;
  Guard T_G1111111111111111111111111110 = 1;
  Guard G1111111111111111111111111110 = 1;
  Guard T_G11111111111111111111111110 = 1;
  Guard G11111111111111111111111110 = 1;
  Guard T_G111111111111111111111110 = 1;
  Guard G111111111111111111111110 = 1;
  Guard T_G1111111111111111111110 = 1;
  Guard G1111111111111111111110 = 1;
  Guard T_G1111111111111111110 = 1;
  Guard G1111111111111111110 = 1;
  Guard T_G11111111111111110 = 1;
  Guard G11111111111111110 = 1;
  Guard T_G111111111111110 = 1;
  Guard G111111111111110 = 1;
  Guard T_G1111111111110 = 1;
  Guard G1111111111110 = 1;
  Guard T_G11111111110 = 1;
  Guard G11111111110 = 1;
  Guard T_G111111110 = 1;
  Guard G111111110 = 1;
  Guard T_G1111110 = 1;
  Guard G1111110 = 1;
  Guard T_G11110 = 1;
  Guard G11110 = 1;
  Guard T_G1110 = 1;
  Guard G1110 = 1;
  Guard T_G110 = 1;
  Guard G110 = 1;
  Guard T_G0 = 1;
  Guard G0 = 1;

  /* Declare/initialize tagged params */
  int T_O_ctx__input_0 = O_ctx__input_0;
  int T_O_ctx__input_1 = O_ctx__input_1;
  int T_O_ctx__input_2 = O_ctx__input_2;
  int T_O_ctx__input_3 = O_ctx__input_3;
  int T_O_ctx__input_4 = O_ctx__input_4;
  int T_O_ctx__input_5 = O_ctx__input_5;
  int T_O_ctx__input_6 = O_ctx__input_6;
  int T_O_ctx__input_7 = O_ctx__input_7;
  int T_O_ctx__parity = O_ctx__parity;
  int T_O_ctx__done = O_ctx__done;
  int T_O_ctx_M32 = O_ctx_M32;
  int T_O_ctx_M32_nil = O_ctx_M32_nil;
  int T_O_ctx_M34 = O_ctx_M34;
  int T_O_ctx_M34_nil = O_ctx_M34_nil;
  int T_O_ctx_M36 = O_ctx_M36;
  int T_O_ctx_M36_nil = O_ctx_M36_nil;
  int T_O_ctx_M38 = O_ctx_M38;
  int T_O_ctx_M38_nil = O_ctx_M38_nil;
  int T_O_ctx_M40 = O_ctx_M40;
  int T_O_ctx_M40_nil = O_ctx_M40_nil;
  int T_O_ctx_M42 = O_ctx_M42;
  int T_O_ctx_M42_nil = O_ctx_M42_nil;
  int T_O_ctx_M44 = O_ctx_M44;
  int T_O_ctx_M44_nil = O_ctx_M44_nil;
  int T_O_ctx_M28 = O_ctx_M28;
  int T_O_ctx_M28_nil = O_ctx_M28_nil;
  int T_O_ctx_M12 = O_ctx_M12;
  int T_O_ctx_M12_nil = O_ctx_M12_nil;
  int T_O_ctx_M14 = O_ctx_M14;
  int T_O_ctx_M14_nil = O_ctx_M14_nil;
  int T_O_ctx_M16 = O_ctx_M16;
  int T_O_ctx_M16_nil = O_ctx_M16_nil;
  int T_O_ctx_M18 = O_ctx_M18;
  int T_O_ctx_M18_nil = O_ctx_M18_nil;
  int T_O_ctx_M20 = O_ctx_M20;
  int T_O_ctx_M20_nil = O_ctx_M20_nil;
  int T_O_ctx_M22 = O_ctx_M22;
  int T_O_ctx_M22_nil = O_ctx_M22_nil;
  int T_O_ctx_M24 = O_ctx_M24;
  int T_O_ctx_M24_nil = O_ctx_M24_nil;
  int T_O_ctx_M9 = O_ctx_M9;

  /* Declare other variables */
  int O_result;
  int O_T44;
  int O_T42;
  int O_T40;
  int O_T38;
  int O_T36;
  int O_T34;
  int O_T32;
  int O_T28;
  int O_T24;
  int O_T22;
  int O_T20;
  int O_T18;
  int O_T16;
  int O_T14;
  int O_T12;
  int O_L8;
  int O_L45;
  int O_L43;
  int O_L41;
  int O_L39;
  int O_L37;
  int O_L35;
  int O_L33;
  int O_L31;
  int O_L29;
  int O_L27;
  int O_L25;
  int O_L23;
  int O_L21;
  int O_L19;
  int O_L17;
  int O_L15;
  int O_L13;
  int O_L11;
  int T_O_result;
  int T_O_T44;
  int T_O_T42;
  int T_O_T40;
  int T_O_T38;
  int T_O_T36;
  int T_O_T34;
  int T_O_T32;
  int T_O_T28;
  int T_O_T24;
  int T_O_T22;
  int T_O_T20;
  int T_O_T18;
  int T_O_T16;
  int T_O_T14;
  int T_O_T12;
  int T_O_L8;
  int T_O_L45;
  int T_O_L43;
  int T_O_L41;
  int T_O_L39;
  int T_O_L37;
  int T_O_L35;
  int T_O_L33;
  int T_O_L31;
  int T_O_L29;
  int T_O_L27;
  int T_O_L25;
  int T_O_L23;
  int T_O_L21;
  int T_O_L19;
  int T_O_L17;
  int T_O_L15;
  int T_O_L13;
  int T_O_L11;

  /* Here is the body! */
  G0 = O_ctx_M9 == 1;
  T_G0 = T_O_ctx_M9 == 1;
  if (G0) O_L11 = O_ctx__input_0;
  if (T_G0) T_O_L11 = T_O_ctx__input_0;

  if (!G0) O_L11 = O_ctx_M12;
  if (!T_G0) T_O_L11 = T_O_ctx_M12;

  O_L29 = (1 - O_L11);
  T_O_L29 = (1 - T_O_L11);
  G110 = O_ctx_M28 == 1;
  T_G110 = T_O_ctx_M28 == 1;
  if (G110) O_L27 = O_L29;
  if (T_G110) T_O_L27 = T_O_L29;

  if (!G110) O_L27 = O_L11;
  if (!T_G110) T_O_L27 = T_O_L11;

  G1110 = O_ctx_M9 == 1;
  T_G1110 = T_O_ctx_M9 == 1;
  if (G1110) O_L8 = O_L11;
  if (T_G1110) T_O_L8 = T_O_L11;

  if (!G1110) O_L8 = O_L27;
  if (!T_G1110) T_O_L8 = T_O_L27;

  G11110 = O_ctx_M9 == 1;
  T_G11110 = T_O_ctx_M9 == 1;
  if (G11110) O_L31 = 0;
  if (T_G11110) T_O_L31 = 0;

  if (!G11110) O_L31 = O_ctx_M32;
  if (!T_G11110) T_O_L31 = T_O_ctx_M32;

  O_result = ((O_L31 * 2) + O_L8);
  T_O_result = ((T_O_L31 * 2) + T_O_L8);
  G1111110 = O_ctx_M9 == 1;
  T_G1111110 = T_O_ctx_M9 == 1;
  if (G1111110) O_L33 = 0;
  if (T_G1111110) T_O_L33 = 0;

  if (!G1111110) O_L33 = O_ctx_M34;
  if (!T_G1111110) T_O_L33 = T_O_ctx_M34;

  O_T32 = O_L33;
  T_O_T32 = T_O_L33;
  G111111110 = O_ctx_M9 == 1;
  T_G111111110 = T_O_ctx_M9 == 1;
  if (G111111110) O_L35 = 0;
  if (T_G111111110) T_O_L35 = 0;

  if (!G111111110) O_L35 = O_ctx_M36;
  if (!T_G111111110) T_O_L35 = T_O_ctx_M36;

  O_T34 = O_L35;
  T_O_T34 = T_O_L35;
  G11111111110 = O_ctx_M9 == 1;
  T_G11111111110 = T_O_ctx_M9 == 1;
  if (G11111111110) O_L37 = 0;
  if (T_G11111111110) T_O_L37 = 0;

  if (!G11111111110) O_L37 = O_ctx_M38;
  if (!T_G11111111110) T_O_L37 = T_O_ctx_M38;

  O_T36 = O_L37;
  T_O_T36 = T_O_L37;
  G1111111111110 = O_ctx_M9 == 1;
  T_G1111111111110 = T_O_ctx_M9 == 1;
  if (G1111111111110) O_L39 = 0;
  if (T_G1111111111110) T_O_L39 = 0;

  if (!G1111111111110) O_L39 = O_ctx_M40;
  if (!T_G1111111111110) T_O_L39 = T_O_ctx_M40;

  O_T38 = O_L39;
  T_O_T38 = T_O_L39;
  G111111111111110 = O_ctx_M9 == 1;
  T_G111111111111110 = T_O_ctx_M9 == 1;
  if (G111111111111110) O_L41 = 0;
  if (T_G111111111111110) T_O_L41 = 0;

  if (!G111111111111110) O_L41 = O_ctx_M42;
  if (!T_G111111111111110) T_O_L41 = T_O_ctx_M42;

  O_T40 = O_L41;
  T_O_T40 = T_O_L41;
  G11111111111111110 = O_ctx_M9 == 1;
  T_G11111111111111110 = T_O_ctx_M9 == 1;
  if (G11111111111111110) O_L43 = 0;
  if (T_G11111111111111110) T_O_L43 = 0;

  if (!G11111111111111110) O_L43 = O_ctx_M44;
  if (!T_G11111111111111110) T_O_L43 = T_O_ctx_M44;

  O_T42 = O_L43;
  T_O_T42 = T_O_L43;
  G1111111111111111110 = O_ctx_M9 == 1;
  T_G1111111111111111110 = T_O_ctx_M9 == 1;
  if (G1111111111111111110) O_L45 = 1;
  if (T_G1111111111111111110) T_O_L45 = 1;

  if (!G1111111111111111110) O_L45 = 0;
  if (!T_G1111111111111111110) T_O_L45 = 0;

  O_T44 = O_L45;
  T_O_T44 = T_O_L45;
  O_T28 = O_L8;
  T_O_T28 = T_O_L8;
  G1111111111111111111110 = O_ctx_M9 == 1;
  T_G1111111111111111111110 = T_O_ctx_M9 == 1;
  if (G1111111111111111111110) O_L13 = O_ctx__input_1;
  if (T_G1111111111111111111110) T_O_L13 = T_O_ctx__input_1;

  if (!G1111111111111111111110) O_L13 = O_ctx_M14;
  if (!T_G1111111111111111111110) T_O_L13 = T_O_ctx_M14;

  O_T12 = O_L13;
  T_O_T12 = T_O_L13;
  G111111111111111111111110 = O_ctx_M9 == 1;
  T_G111111111111111111111110 = T_O_ctx_M9 == 1;
  if (G111111111111111111111110) O_L15 = O_ctx__input_2;
  if (T_G111111111111111111111110) T_O_L15 = T_O_ctx__input_2;

  if (!G111111111111111111111110) O_L15 = O_ctx_M16;
  if (!T_G111111111111111111111110) T_O_L15 = T_O_ctx_M16;

  O_T14 = O_L15;
  T_O_T14 = T_O_L15;
  G11111111111111111111111110 = O_ctx_M9 == 1;
  T_G11111111111111111111111110 = T_O_ctx_M9 == 1;
  if (G11111111111111111111111110) O_L17 = O_ctx__input_3;
  if (T_G11111111111111111111111110) T_O_L17 = T_O_ctx__input_3;

  if (!G11111111111111111111111110) O_L17 = O_ctx_M18;
  if (!T_G11111111111111111111111110) T_O_L17 = T_O_ctx_M18;

  O_T16 = O_L17;
  T_O_T16 = T_O_L17;
  G1111111111111111111111111110 = O_ctx_M9 == 1;
  T_G1111111111111111111111111110 = T_O_ctx_M9 == 1;
  if (G1111111111111111111111111110) O_L19 = O_ctx__input_4;
  if (T_G1111111111111111111111111110) T_O_L19 = T_O_ctx__input_4;

  if (!G1111111111111111111111111110) O_L19 = O_ctx_M20;
  if (!T_G1111111111111111111111111110) T_O_L19 = T_O_ctx_M20;

  O_T18 = O_L19;
  T_O_T18 = T_O_L19;
  G111111111111111111111111111110 = O_ctx_M9 == 1;
  T_G111111111111111111111111111110 = T_O_ctx_M9 == 1;
  if (G111111111111111111111111111110) O_L21 = O_ctx__input_5;
  if (T_G111111111111111111111111111110) T_O_L21 = T_O_ctx__input_5;

  if (!G111111111111111111111111111110) O_L21 = O_ctx_M22;
  if (!T_G111111111111111111111111111110) T_O_L21 = T_O_ctx_M22;

  O_T20 = O_L21;
  T_O_T20 = T_O_L21;
  G11111111111111111111111111111110 = O_ctx_M9 == 1;
  T_G11111111111111111111111111111110 = T_O_ctx_M9 == 1;
  if (G11111111111111111111111111111110) O_L23 = O_ctx__input_6;
  if (T_G11111111111111111111111111111110) T_O_L23 = T_O_ctx__input_6;

  if (!G11111111111111111111111111111110) O_L23 = O_ctx_M24;
  if (!T_G11111111111111111111111111111110) T_O_L23 = T_O_ctx_M24;

  O_T22 = O_L23;
  T_O_T22 = T_O_L23;
  G1111111111111111111111111111111110 = O_ctx_M9 == 1;
  T_G1111111111111111111111111111111110 = T_O_ctx_M9 == 1;
  if (G1111111111111111111111111111111110) O_L25 = O_ctx__input_7;
  if (T_G1111111111111111111111111111111110) T_O_L25 = T_O_ctx__input_7;

  if (!G1111111111111111111111111111111110) O_L25 = 0;
  if (!T_G1111111111111111111111111111111110) T_O_L25 = 0;

  O_T24 = O_L25;
  T_O_T24 = T_O_L25;
  O_ctx_M32 = O_T32;
  T_O_ctx_M32 = T_O_T32;
  O_ctx_M32_nil = 0;
  T_O_ctx_M32_nil = 0;
  O_ctx_M34 = O_T34;
  T_O_ctx_M34 = T_O_T34;
  O_ctx_M34_nil = 0;
  T_O_ctx_M34_nil = 0;
  O_ctx_M36 = O_T36;
  T_O_ctx_M36 = T_O_T36;
  O_ctx_M36_nil = 0;
  T_O_ctx_M36_nil = 0;
  O_ctx_M38 = O_T38;
  T_O_ctx_M38 = T_O_T38;
  O_ctx_M38_nil = 0;
  T_O_ctx_M38_nil = 0;
  O_ctx_M40 = O_T40;
  T_O_ctx_M40 = T_O_T40;
  O_ctx_M40_nil = 0;
  T_O_ctx_M40_nil = 0;
  O_ctx_M42 = O_T42;
  T_O_ctx_M42 = T_O_T42;
  O_ctx_M42_nil = 0;
  T_O_ctx_M42_nil = 0;
  O_ctx_M44 = O_T44;
  T_O_ctx_M44 = T_O_T44;
  O_ctx_M44_nil = 0;
  T_O_ctx_M44_nil = 0;
  O_ctx_M28 = O_T28;
  T_O_ctx_M28 = T_O_T28;
  O_ctx_M28_nil = 0;
  T_O_ctx_M28_nil = 0;
  O_ctx_M12 = O_T12;
  T_O_ctx_M12 = T_O_T12;
  O_ctx_M12_nil = 0;
  T_O_ctx_M12_nil = 0;
  O_ctx_M14 = O_T14;
  T_O_ctx_M14 = T_O_T14;
  O_ctx_M14_nil = 0;
  T_O_ctx_M14_nil = 0;
  O_ctx_M16 = O_T16;
  T_O_ctx_M16 = T_O_T16;
  O_ctx_M16_nil = 0;
  T_O_ctx_M16_nil = 0;
  O_ctx_M18 = O_T18;
  T_O_ctx_M18 = T_O_T18;
  O_ctx_M18_nil = 0;
  T_O_ctx_M18_nil = 0;
  O_ctx_M20 = O_T20;
  T_O_ctx_M20 = T_O_T20;
  O_ctx_M20_nil = 0;
  T_O_ctx_M20_nil = 0;
  O_ctx_M22 = O_T22;
  T_O_ctx_M22 = T_O_T22;
  O_ctx_M22_nil = 0;
  T_O_ctx_M22_nil = 0;
  O_ctx_M24 = O_T24;
  T_O_ctx_M24 = T_O_T24;
  O_ctx_M24_nil = 0;
  T_O_ctx_M24_nil = 0;
  O_ctx_M9 = 0;
  T_O_ctx_M9 = 0;


  /* Correlating point */
  { char *CP0; }

  /* Set the output... */
  res = O_result;
  T_res = T_O_result;
}