init_table_setup ()
{
  short int _1;
  short int _2;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = read_sign_cs ();
  if (_1 == 1)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  table_read (0);
  goto <bb 7>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  _2 = read_sign_cs ();
  if (_2 == 1)
    goto <bb 5>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 5> :
  # DEBUG BEGIN_STMT
  table_read (0);
  goto <bb 7>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  table_write (0);
  # DEBUG BEGIN_STMT
  read_sign_cs ();

  <bb 7> :
  # DEBUG BEGIN_STMT
  dtc_read ();
  return;

}


read_sign_cs ()
{
  volatile vuint32_t buf[8];
  volatile vuint32_t * p;
  uint32_t i;
  volatile vuint32_t * p.27_1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  long unsigned int _5;
  long unsigned int _6;
  long unsigned int _7;
  int16_t _10;
  int16_t _18;
  int16_t _20;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  p_13 = 8388624B;
  # DEBUG p => p_13
  # DEBUG BEGIN_STMT
  i_14 = 0;
  # DEBUG i => i_14
  goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  p.27_1 = p_9;
  p_21 = p.27_1 + 4;
  # DEBUG p => p_21
  _2 ={v} *p.27_1;
  buf[i_8] ={v} _2;
  # DEBUG BEGIN_STMT
  i_23 = i_8 + 1;
  # DEBUG i => i_23

  <bb 4> :
  # i_8 = PHI <i_14(2), i_23(3)>
  # p_9 = PHI <p_13(2), p_21(3)>
  # DEBUG p => p_9
  # DEBUG i => i_8
  # DEBUG BEGIN_STMT
  if (i_8 <= 3)
    goto <bb 3>; [INV]
  else
    goto <bb 5>; [INV]

  <bb 5> :
  # DEBUG BEGIN_STMT
  _3 ={v} buf[0];
  _4 ={v} buf[1];
  _5 ={v} buf[2];
  _6 ={v} buf[3];
  monprintf ("\n\r%08X,%08X,%08X,%08X\n\r", _3, _4, _5, _6);
  # DEBUG BEGIN_STMT
  _7 ={v} buf[1];
  if (_7 == 1008)
    goto <bb 6>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  monprintf ("sign ok \n\r");
  # DEBUG BEGIN_STMT
  _20 = 1;
  // predicted unlikely by early return (on trees) predictor.
  goto <bb 8>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  monprintf ("sign FAIL\n\n\r");
  # DEBUG BEGIN_STMT
  _18 = -1;
  // predicted unlikely by early return (on trees) predictor.

  <bb 8> :
  # _10 = PHI <_20(6), _18(7)>
  return _10;

}


table_read (uint16_t block)
{
  uint8_t i;
  short unsigned int _1;
  unsigned char i.26_2;
  int16_t _11;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (block_6(D) == 0)
    goto <bb 3>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  i_8 = 0;
  # DEBUG i => i_8
  goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  _1 = (short unsigned int) i_3;
  read_table_n (_1);
  # DEBUG BEGIN_STMT
  i.26_2 = i_3;
  i_10 = i.26_2 + 1;
  # DEBUG i => i_10

  <bb 5> :
  # i_3 = PHI <i_8(3), i_10(4)>
  # DEBUG i => i_3
  # DEBUG BEGIN_STMT
  if (i_3 <= 28)
    goto <bb 4>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  _11 = 0;
  return _11;

}


table_write (uint16_t block)
{
  volatile vuint32_t p;
  volatile vuint32_t t[2];
  uint16_t i;
  short unsigned int i.24_1;
  long unsigned int p.25_2;
  int16_t _12;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  i_5 = 0;
  # DEBUG i => i_5
  goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  write_table_n (i_3);
  # DEBUG BEGIN_STMT
  i.24_1 = i_3;
  i_14 = i.24_1 + 1;
  # DEBUG i => i_14

  <bb 4> :
  # i_3 = PHI <i_5(2), i_14(3)>
  # DEBUG i => i_3
  # DEBUG BEGIN_STMT
  if (i_3 <= 28)
    goto <bb 3>; [INV]
  else
    goto <bb 5>; [INV]

  <bb 5> :
  # DEBUG BEGIN_STMT
  t[0] ={v} 2882400085;
  # DEBUG BEGIN_STMT
  t[1] ={v} 1008;
  # DEBUG BEGIN_STMT
  p ={v} 8388624;
  # DEBUG BEGIN_STMT
  p.25_2 ={v} p;
  i_11 = programDword_data_flash (p.25_2, &t);
  # DEBUG i => i_11
  # DEBUG BEGIN_STMT
  _12 = 0;
  return _12;

}


read_table_n (uint16_t n)
{
  volatile vuint8_t * pd1;
  volatile vuint16_t * pd2;
  volatile vuint32_t * pd4;
  volatile vuint32_t * ps;
  unsigned int k;
  unsigned int wr;
  unsigned int wrlen;
  unsigned int rdlen;
  int _1;
  int _2;
  long unsigned int _3;
  int _4;
  long unsigned int _5;
  int _6;
  long unsigned int _7;
  int _8;
  int _9;
  int _10;
  long unsigned int _11;
  long unsigned int _12;
  int _13;
  long unsigned int _14;
  long unsigned int _15;
  int _16;
  long unsigned int _17;
  volatile vuint32_t * ps.14_18;
  unsigned int _19;
  unsigned int wr.15_20;
  unsigned int _21;
  volatile vuint16_t * _22;
  short unsigned int _23;
  unsigned int wr.16_24;
  unsigned int _25;
  volatile vuint16_t * _26;
  short unsigned int _27;
  int _28;
  long unsigned int _29;
  long unsigned int _30;
  int _31;
  long unsigned int _32;
  volatile vuint32_t * ps.17_33;
  unsigned int wr.18_34;
  unsigned int _35;
  volatile vuint32_t * _36;
  int _37;
  long unsigned int _38;
  volatile vuint32_t * ps.19_39;
  unsigned int _40;
  unsigned int wr.20_41;
  volatile vuint8_t * _42;
  unsigned char _43;
  unsigned int _44;
  unsigned int wr.21_45;
  volatile vuint8_t * _46;
  unsigned char _47;
  unsigned int _48;
  unsigned int wr.22_49;
  volatile vuint8_t * _50;
  unsigned char _51;
  unsigned int wr.23_52;
  volatile vuint8_t * _53;
  unsigned char _54;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (n_67(D) > 28)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = (int) n_67(D);
  monprintf ("table over %d\n\r", _1);
  # DEBUG BEGIN_STMT
  // predicted unlikely by early return (on trees) predictor.
  goto <bb 26>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  _2 = (int) n_67(D);
  _3 = EEP_ADDR_TABLE[_2][0];
  if (_3 == 65535)
    goto <bb 5>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 5> :
  # DEBUG BEGIN_STMT
  // predicted unlikely by early return (on trees) predictor.
  goto <bb 26>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  _4 = (int) n_67(D);
  _5 = EEP_ADDR_TABLE[_4][7];
  if (_5 != 1)
    goto <bb 7>; [INV]
  else
    goto <bb 8>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  // predicted unlikely by early return (on trees) predictor.
  goto <bb 26>; [INV]

  <bb 8> :
  # DEBUG BEGIN_STMT
  _6 = (int) n_67(D);
  _7 = EEP_ADDR_TABLE[_6][4];
  if (_7 == 7)
    goto <bb 9>; [INV]
  else
    goto <bb 10>; [INV]

  <bb 9> :
  # DEBUG BEGIN_STMT
  // predicted unlikely by early return (on trees) predictor.
  goto <bb 26>; [INV]

  <bb 10> :
  # DEBUG BEGIN_STMT
  _8 = (int) n_67(D);
  rdlen_69 = EEP_ADDR_TABLE[_8][1];
  # DEBUG rdlen => rdlen_69
  # DEBUG BEGIN_STMT
  rdlen_70 = rdlen_69 >> 2;
  # DEBUG rdlen => rdlen_70
  # DEBUG BEGIN_STMT
  _9 = (int) n_67(D);
  wrlen_71 = EEP_ADDR_TABLE[_9][2];
  # DEBUG wrlen => wrlen_71
  # DEBUG BEGIN_STMT
  _10 = (int) n_67(D);
  _11 = EEP_ADDR_TABLE[_10][0];
  _12 = _11 + 8388608;
  ps_72 = (volatile vuint32_t *) _12;
  # DEBUG ps => ps_72
  # DEBUG BEGIN_STMT
  wr_73 = 0;
  # DEBUG wr => wr_73
  # DEBUG BEGIN_STMT
  _13 = (int) n_67(D);
  _14 = EEP_ADDR_TABLE[_13][4];
  _15 = _14 + 4294967294;
  if (_15 <= 1)
    goto <bb 11>; [INV]
  else
    goto <bb 15>; [INV]

  <bb 11> :
  # DEBUG BEGIN_STMT
  wrlen_91 = wrlen_71 >> 1;
  # DEBUG wrlen => wrlen_91
  # DEBUG BEGIN_STMT
  _16 = (int) n_67(D);
  _17 = EEP_ADDR_TABLE[_16][3];
  pd2_92 = (volatile vuint16_t *) _17;
  # DEBUG pd2 => pd2_92
  # DEBUG BEGIN_STMT
  goto <bb 14>; [INV]

  <bb 12> :
  # DEBUG BEGIN_STMT
  ps.14_18 = ps_58;
  ps_93 = ps.14_18 + 4;
  # DEBUG ps => ps_93
  k_94 ={v} *ps.14_18;
  # DEBUG k => k_94
  # DEBUG BEGIN_STMT
  _19 = k_94 >> 16;
  wr.15_20 = wr_55;
  wr_95 = wr.15_20 + 1;
  # DEBUG wr => wr_95
  _21 = wr.15_20 * 2;
  _22 = pd2_92 + _21;
  _23 = (short unsigned int) _19;
  *_22 ={v} _23;
  # DEBUG BEGIN_STMT
  if (wr_95 >= wrlen_91)
    goto <bb 25>; [INV]
  else
    goto <bb 13>; [INV]

  <bb 13> :
  # DEBUG BEGIN_STMT
  wr.16_24 = wr_95;
  wr_97 = wr.16_24 + 1;
  # DEBUG wr => wr_97
  _25 = wr.16_24 * 2;
  _26 = pd2_92 + _25;
  _27 = (short unsigned int) k_94;
  *_26 ={v} _27;
  # DEBUG BEGIN_STMT
  if (wr_97 >= wrlen_91)
    goto <bb 25>; [INV]
  else
    goto <bb 14>; [INV]

  <bb 14> :
  # wr_55 = PHI <wr_73(11), wr_97(13)>
  # ps_58 = PHI <ps_72(11), ps_93(13)>
  # DEBUG ps => ps_58
  # DEBUG wr => wr_55
  # DEBUG BEGIN_STMT
  if (wr_55 < wrlen_91)
    goto <bb 12>; [INV]
  else
    goto <bb 25>; [INV]

  <bb 15> :
  # DEBUG BEGIN_STMT
  _28 = (int) n_67(D);
  _29 = EEP_ADDR_TABLE[_28][4];
  _30 = _29 + 4294967292;
  if (_30 <= 1)
    goto <bb 16>; [INV]
  else
    goto <bb 19>; [INV]

  <bb 16> :
  # DEBUG BEGIN_STMT
  wrlen_85 = wrlen_71 >> 2;
  # DEBUG wrlen => wrlen_85
  # DEBUG BEGIN_STMT
  _31 = (int) n_67(D);
  _32 = EEP_ADDR_TABLE[_31][3];
  pd4_86 = (volatile vuint32_t *) _32;
  # DEBUG pd4 => pd4_86
  # DEBUG BEGIN_STMT
  goto <bb 18>; [INV]

  <bb 17> :
  # DEBUG BEGIN_STMT
  ps.17_33 = ps_59;
  ps_87 = ps.17_33 + 4;
  # DEBUG ps => ps_87
  k_88 ={v} *ps.17_33;
  # DEBUG k => k_88
  # DEBUG BEGIN_STMT
  wr.18_34 = wr_56;
  wr_89 = wr.18_34 + 1;
  # DEBUG wr => wr_89
  _35 = wr.18_34 * 4;
  _36 = pd4_86 + _35;
  *_36 ={v} k_88;

  <bb 18> :
  # wr_56 = PHI <wr_73(16), wr_89(17)>
  # ps_59 = PHI <ps_72(16), ps_87(17)>
  # DEBUG ps => ps_59
  # DEBUG wr => wr_56
  # DEBUG BEGIN_STMT
  if (wr_56 < wrlen_85)
    goto <bb 17>; [INV]
  else
    goto <bb 25>; [INV]

  <bb 19> :
  # DEBUG BEGIN_STMT
  _37 = (int) n_67(D);
  _38 = EEP_ADDR_TABLE[_37][3];
  pd1_74 = (volatile vuint8_t *) _38;
  # DEBUG pd1 => pd1_74
  # DEBUG BEGIN_STMT
  goto <bb 24>; [INV]

  <bb 20> :
  # DEBUG BEGIN_STMT
  ps.19_39 = ps_60;
  ps_75 = ps.19_39 + 4;
  # DEBUG ps => ps_75
  k_76 ={v} *ps.19_39;
  # DEBUG k => k_76
  # DEBUG BEGIN_STMT
  _40 = k_76 >> 24;
  wr.20_41 = wr_57;
  wr_77 = wr.20_41 + 1;
  # DEBUG wr => wr_77
  _42 = pd1_74 + wr.20_41;
  _43 = (unsigned char) _40;
  *_42 ={v} _43;
  # DEBUG BEGIN_STMT
  if (wr_77 >= wrlen_71)
    goto <bb 25>; [INV]
  else
    goto <bb 21>; [INV]

  <bb 21> :
  # DEBUG BEGIN_STMT
  _44 = k_76 >> 16;
  wr.21_45 = wr_77;
  wr_79 = wr.21_45 + 1;
  # DEBUG wr => wr_79
  _46 = pd1_74 + wr.21_45;
  _47 = (unsigned char) _44;
  *_46 ={v} _47;
  # DEBUG BEGIN_STMT
  if (wr_79 >= wrlen_71)
    goto <bb 25>; [INV]
  else
    goto <bb 22>; [INV]

  <bb 22> :
  # DEBUG BEGIN_STMT
  _48 = k_76 >> 8;
  wr.22_49 = wr_79;
  wr_81 = wr.22_49 + 1;
  # DEBUG wr => wr_81
  _50 = pd1_74 + wr.22_49;
  _51 = (unsigned char) _48;
  *_50 ={v} _51;
  # DEBUG BEGIN_STMT
  if (wr_81 >= wrlen_71)
    goto <bb 25>; [INV]
  else
    goto <bb 23>; [INV]

  <bb 23> :
  # DEBUG BEGIN_STMT
  wr.23_52 = wr_81;
  wr_83 = wr.23_52 + 1;
  # DEBUG wr => wr_83
  _53 = pd1_74 + wr.23_52;
  _54 = (unsigned char) k_76;
  *_53 ={v} _54;
  # DEBUG BEGIN_STMT
  if (wr_83 >= wrlen_71)
    goto <bb 25>; [INV]
  else
    goto <bb 24>; [INV]

  <bb 24> :
  # wr_57 = PHI <wr_73(19), wr_83(23)>
  # ps_60 = PHI <ps_72(19), ps_75(23)>
  # DEBUG ps => ps_60
  # DEBUG wr => wr_57
  # DEBUG BEGIN_STMT
  if (wr_57 < wrlen_71)
    goto <bb 20>; [INV]
  else
    goto <bb 25>; [INV]

  <bb 25> :
  goto <bb 27>; [INV]

  <bb 26> :

  <bb 27> :
  return;

}


write_table_n (uint16_t n)
{
  volatile vuint8_t * pd1;
  volatile vuint16_t * pd2;
  volatile vuint32_t * pd4;
  volatile vuint32_t * psr;
  uint32_t ps;
  volatile vuint32_t t[2];
  uint32_t r;
  uint32_t k;
  uint32_t wrlen;
  uint32_t rdlen;
  uint32_t i;
  int _1;
  long unsigned int _2;
  int _3;
  long unsigned int _4;
  int _5;
  int _6;
  int _7;
  long unsigned int _8;
  int _9;
  int _10;
  long unsigned int _11;
  long unsigned int _12;
  int _13;
  long unsigned int _14;
  volatile vuint16_t * pd2.0_15;
  short unsigned int _16;
  long unsigned int _17;
  long unsigned int _18;
  long unsigned int _19;
  volatile vuint16_t * pd2.1_20;
  long unsigned int _21;
  long unsigned int _22;
  long unsigned int _23;
  volatile vuint16_t * pd2.2_24;
  short unsigned int _25;
  long unsigned int _26;
  long unsigned int _27;
  long unsigned int _28;
  volatile vuint16_t * pd2.3_29;
  long unsigned int _30;
  long unsigned int _31;
  long unsigned int _32;
  int _33;
  long unsigned int _34;
  long unsigned int _35;
  int _36;
  long unsigned int _37;
  volatile vuint32_t * pd4.4_38;
  long unsigned int _39;
  volatile vuint32_t * pd4.5_40;
  long unsigned int _41;
  int _42;
  long unsigned int _43;
  volatile vuint8_t * pd1.6_44;
  unsigned char _45;
  long unsigned int _46;
  long unsigned int _47;
  long unsigned int _48;
  volatile vuint8_t * pd1.7_49;
  unsigned char _50;
  long unsigned int _51;
  long unsigned int _52;
  volatile vuint8_t * pd1.8_53;
  unsigned char _54;
  long unsigned int _55;
  long unsigned int _56;
  volatile vuint8_t * pd1.9_57;
  long unsigned int _58;
  long unsigned int _59;
  long unsigned int _60;
  volatile vuint8_t * pd1.10_61;
  unsigned char _62;
  long unsigned int _63;
  long unsigned int _64;
  long unsigned int _65;
  volatile vuint8_t * pd1.11_66;
  unsigned char _67;
  long unsigned int _68;
  long unsigned int _69;
  volatile vuint8_t * pd1.12_70;
  unsigned char _71;
  long unsigned int _72;
  long unsigned int _73;
  volatile vuint8_t * pd1.13_74;
  long unsigned int _75;
  long unsigned int _76;
  long unsigned int _77;
  short unsigned int _78;
  unsigned char _114;
  unsigned char _128;
  short unsigned int _150;
  short unsigned int _156;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (n_92(D) > 28)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  // predicted unlikely by early return (on trees) predictor.
  goto <bb 19>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  _1 = (int) n_92(D);
  _2 = EEP_ADDR_TABLE[_1][0];
  if (_2 == 65535)
    goto <bb 5>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 5> :
  # DEBUG BEGIN_STMT
  // predicted unlikely by early return (on trees) predictor.
  goto <bb 19>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  _3 = (int) n_92(D);
  _4 = EEP_ADDR_TABLE[_3][7];
  if (_4 != 1)
    goto <bb 7>; [INV]
  else
    goto <bb 8>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  // predicted unlikely by early return (on trees) predictor.
  goto <bb 19>; [INV]

  <bb 8> :
  # DEBUG BEGIN_STMT
  _5 = (int) n_92(D);
  rdlen_94 = EEP_ADDR_TABLE[_5][1];
  # DEBUG rdlen => rdlen_94
  # DEBUG BEGIN_STMT
  rdlen_95 = rdlen_94 >> 2;
  # DEBUG rdlen => rdlen_95
  # DEBUG BEGIN_STMT
  _6 = (int) n_92(D);
  wrlen_96 = EEP_ADDR_TABLE[_6][2];
  # DEBUG wrlen => wrlen_96
  # DEBUG BEGIN_STMT
  _7 = (int) n_92(D);
  _8 = EEP_ADDR_TABLE[_7][0];
  ps_97 = _8 + 8388608;
  # DEBUG ps => ps_97
  # DEBUG BEGIN_STMT
  psr_98 = (volatile vuint32_t *) ps_97;
  # DEBUG psr => psr_98
  # DEBUG BEGIN_STMT
  _9 = (int) n_92(D);
  monprintf ("T%2d(%08X):rlen=%04x,wlen=%04x\n\r", _9, ps_97, rdlen_95, wrlen_96);
  # DEBUG BEGIN_STMT
  _10 = (int) n_92(D);
  _11 = EEP_ADDR_TABLE[_10][4];
  _12 = _11 + 4294967294;
  if (_12 <= 1)
    goto <bb 9>; [INV]
  else
    goto <bb 12>; [INV]

  <bb 9> :
  # DEBUG BEGIN_STMT
  wrlen_143 = wrlen_96 >> 1;
  # DEBUG wrlen => wrlen_143
  # DEBUG BEGIN_STMT
  _13 = (int) n_92(D);
  _14 = EEP_ADDR_TABLE[_13][3];
  pd2_144 = (volatile vuint16_t *) _14;
  # DEBUG pd2 => pd2_144
  # DEBUG BEGIN_STMT
  i_145 = 0;
  # DEBUG i => i_145
  goto <bb 11>; [INV]

  <bb 10> :
  # DEBUG BEGIN_STMT
  pd2.0_15 = pd2_86;
  pd2_146 = pd2.0_15 + 2;
  # DEBUG pd2 => pd2_146
  _16 ={v} *pd2.0_15;
  _17 = (long unsigned int) _16;
  t[0] ={v} _17;
  # DEBUG BEGIN_STMT
  _18 ={v} t[0];
  _19 = _18 << 16;
  t[0] ={v} _19;
  # DEBUG BEGIN_STMT
  pd2.1_20 = pd2_146;
  pd2_149 = pd2.1_20 + 2;
  # DEBUG pd2 => pd2_149
  _150 ={v} *pd2.1_20;
  _21 ={v} t[0];
  _22 = (long unsigned int) _150;
  _23 = _21 + _22;
  t[0] ={v} _23;
  # DEBUG BEGIN_STMT
  pd2.2_24 = pd2_149;
  pd2_152 = pd2.2_24 + 2;
  # DEBUG pd2 => pd2_152
  _25 ={v} *pd2.2_24;
  _26 = (long unsigned int) _25;
  t[1] ={v} _26;
  # DEBUG BEGIN_STMT
  _27 ={v} t[1];
  _28 = _27 << 16;
  t[1] ={v} _28;
  # DEBUG BEGIN_STMT
  pd2.3_29 = pd2_152;
  pd2_155 = pd2.3_29 + 2;
  # DEBUG pd2 => pd2_155
  _156 ={v} *pd2.3_29;
  _30 ={v} t[1];
  _31 = (long unsigned int) _156;
  _32 = _30 + _31;
  t[1] ={v} _32;
  # DEBUG BEGIN_STMT
  ps_158 = ps_82 + 8;
  # DEBUG ps => ps_158
  # DEBUG BEGIN_STMT
  i_159 = i_79 + 2;
  # DEBUG i => i_159

  <bb 11> :
  # i_79 = PHI <i_145(9), i_159(10)>
  # ps_82 = PHI <ps_97(9), ps_158(10)>
  # pd2_86 = PHI <pd2_144(9), pd2_155(10)>
  # DEBUG pd2 => pd2_86
  # DEBUG ps => ps_82
  # DEBUG i => i_79
  # DEBUG BEGIN_STMT
  if (i_79 < rdlen_95)
    goto <bb 10>; [INV]
  else
    goto <bb 19>; [INV]

  <bb 12> :
  # DEBUG BEGIN_STMT
  _33 = (int) n_92(D);
  _34 = EEP_ADDR_TABLE[_33][4];
  _35 = _34 + 4294967292;
  if (_35 <= 1)
    goto <bb 13>; [INV]
  else
    goto <bb 16>; [INV]

  <bb 13> :
  # DEBUG BEGIN_STMT
  wrlen_134 = wrlen_96 >> 2;
  # DEBUG wrlen => wrlen_134
  # DEBUG BEGIN_STMT
  _36 = (int) n_92(D);
  _37 = EEP_ADDR_TABLE[_36][3];
  pd4_135 = (volatile vuint32_t *) _37;
  # DEBUG pd4 => pd4_135
  # DEBUG BEGIN_STMT
  i_136 = 0;
  # DEBUG i => i_136
  goto <bb 15>; [INV]

  <bb 14> :
  # DEBUG BEGIN_STMT
  pd4.4_38 = pd4_85;
  pd4_137 = pd4.4_38 + 4;
  # DEBUG pd4 => pd4_137
  _39 ={v} *pd4.4_38;
  t[0] ={v} _39;
  # DEBUG BEGIN_STMT
  pd4.5_40 = pd4_137;
  pd4_139 = pd4.5_40 + 4;
  # DEBUG pd4 => pd4_139
  _41 ={v} *pd4.5_40;
  t[1] ={v} _41;
  # DEBUG BEGIN_STMT
  ps_141 = ps_83 + 8;
  # DEBUG ps => ps_141
  # DEBUG BEGIN_STMT
  i_142 = i_80 + 2;
  # DEBUG i => i_142

  <bb 15> :
  # i_80 = PHI <i_136(13), i_142(14)>
  # ps_83 = PHI <ps_97(13), ps_141(14)>
  # pd4_85 = PHI <pd4_135(13), pd4_139(14)>
  # DEBUG pd4 => pd4_85
  # DEBUG ps => ps_83
  # DEBUG i => i_80
  # DEBUG BEGIN_STMT
  if (i_80 < rdlen_95)
    goto <bb 14>; [INV]
  else
    goto <bb 19>; [INV]

  <bb 16> :
  # DEBUG BEGIN_STMT
  _42 = (int) n_92(D);
  _43 = EEP_ADDR_TABLE[_42][3];
  pd1_100 = (volatile vuint8_t *) _43;
  # DEBUG pd1 => pd1_100
  # DEBUG BEGIN_STMT
  i_101 = 0;
  # DEBUG i => i_101
  goto <bb 18>; [INV]

  <bb 17> :
  # DEBUG BEGIN_STMT
  pd1.6_44 = pd1_87;
  pd1_102 = pd1.6_44 + 1;
  # DEBUG pd1 => pd1_102
  _45 ={v} *pd1.6_44;
  _46 = (long unsigned int) _45;
  t[0] ={v} _46;
  # DEBUG BEGIN_STMT
  _47 ={v} t[0];
  _48 = _47 << 24;
  t[0] ={v} _48;
  # DEBUG BEGIN_STMT
  pd1.7_49 = pd1_102;
  pd1_105 = pd1.7_49 + 1;
  # DEBUG pd1 => pd1_105
  _50 ={v} *pd1.7_49;
  k_106 = (uint32_t) _50;
  # DEBUG k => k_106
  # DEBUG BEGIN_STMT
  k_107 = k_106 << 16;
  # DEBUG k => k_107
  # DEBUG BEGIN_STMT
  _51 ={v} t[0];
  _52 = k_107 + _51;
  t[0] ={v} _52;
  # DEBUG BEGIN_STMT
  pd1.8_53 = pd1_105;
  pd1_109 = pd1.8_53 + 1;
  # DEBUG pd1 => pd1_109
  _54 ={v} *pd1.8_53;
  k_110 = (uint32_t) _54;
  # DEBUG k => k_110
  # DEBUG BEGIN_STMT
  k_111 = k_110 << 8;
  # DEBUG k => k_111
  # DEBUG BEGIN_STMT
  _55 ={v} t[0];
  _56 = k_111 + _55;
  t[0] ={v} _56;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  pd1.9_57 = pd1_109;
  pd1_113 = pd1.9_57 + 1;
  # DEBUG pd1 => pd1_113
  _114 ={v} *pd1.9_57;
  _58 ={v} t[0];
  _59 = (long unsigned int) _114;
  _60 = _58 + _59;
  t[0] ={v} _60;
  # DEBUG BEGIN_STMT
  pd1.10_61 = pd1_113;
  pd1_116 = pd1.10_61 + 1;
  # DEBUG pd1 => pd1_116
  _62 ={v} *pd1.10_61;
  _63 = (long unsigned int) _62;
  t[1] ={v} _63;
  # DEBUG BEGIN_STMT
  _64 ={v} t[1];
  _65 = _64 << 24;
  t[1] ={v} _65;
  # DEBUG BEGIN_STMT
  pd1.11_66 = pd1_116;
  pd1_119 = pd1.11_66 + 1;
  # DEBUG pd1 => pd1_119
  _67 ={v} *pd1.11_66;
  k_120 = (uint32_t) _67;
  # DEBUG k => k_120
  # DEBUG BEGIN_STMT
  k_121 = k_120 << 16;
  # DEBUG k => k_121
  # DEBUG BEGIN_STMT
  _68 ={v} t[1];
  _69 = k_121 + _68;
  t[1] ={v} _69;
  # DEBUG BEGIN_STMT
  pd1.12_70 = pd1_119;
  pd1_123 = pd1.12_70 + 1;
  # DEBUG pd1 => pd1_123
  _71 ={v} *pd1.12_70;
  k_124 = (uint32_t) _71;
  # DEBUG k => k_124
  # DEBUG BEGIN_STMT
  k_125 = k_124 << 8;
  # DEBUG k => k_125
  # DEBUG BEGIN_STMT
  _72 ={v} t[1];
  _73 = k_125 + _72;
  t[1] ={v} _73;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  pd1.13_74 = pd1_123;
  pd1_127 = pd1.13_74 + 1;
  # DEBUG pd1 => pd1_127
  _128 ={v} *pd1.13_74;
  _75 ={v} t[1];
  _76 = (long unsigned int) _128;
  _77 = _75 + _76;
  t[1] ={v} _77;
  # DEBUG BEGIN_STMT
  _78 = programDword_data_flash (ps_84, &t);
  r_131 = (uint32_t) _78;
  # DEBUG r => r_131
  # DEBUG BEGIN_STMT
  ps_132 = ps_84 + 8;
  # DEBUG ps => ps_132
  # DEBUG BEGIN_STMT
  i_133 = i_81 + 2;
  # DEBUG i => i_133

  <bb 18> :
  # i_81 = PHI <i_101(16), i_133(17)>
  # ps_84 = PHI <ps_97(16), ps_132(17)>
  # pd1_87 = PHI <pd1_100(16), pd1_127(17)>
  # DEBUG pd1 => pd1_87
  # DEBUG ps => ps_84
  # DEBUG i => i_81
  # DEBUG BEGIN_STMT
  if (i_81 < rdlen_95)
    goto <bb 17>; [INV]
  else
    goto <bb 19>; [INV]

  <bb 19> :
  return;

}


table_did_maping_write (uint16_t did)
{
  uint16_t rt;
  int _1;
  uint16_t _35;

  <bb 2> :
  # DEBUG BEGIN_STMT
  rt_3 = 65535;
  # DEBUG rt => rt_3
  # DEBUG BEGIN_STMT
  _1 = (int) did_4(D);
  switch (_1) <default: <L29> [INV], case 61456: <L4> [INV], case 61457: <L5> [INV], case 61458: <L6> [INV], case 61459: <L7> [INV], case 61460: <L8> [INV], case 61461: <L9> [INV], case 61462: <L10> [INV], case 61463: <L11> [INV], case 61464: <L12> [INV], case 61465: <L13> [INV], case 61466: <L14> [INV], case 61467: <L15> [INV], case 61468: <L16> [INV], case 61469: <L17> [INV], case 61470: <L18> [INV], case 61471: <L19> [INV], case 61472: <L20> [INV], case 61473: <L21> [INV], case 61474: <L22> [INV], case 61475: <L23> [INV], case 61476: <L24> [INV], case 61477: <L25> [INV], case 61478: <L26> [INV], case 61479: <L27> [INV], case 61480: <L28> [INV], case 61831: <L0> [INV], case 61832: <L1> [INV], case 61843: <L3> [INV], case 61845: <L2> [INV]>

  <bb 3> :
<L0>:
  # DEBUG BEGIN_STMT
  rt_8 = 0;
  # DEBUG rt => rt_8
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 4> :
<L1>:
  # DEBUG BEGIN_STMT
  rt_7 = 1;
  # DEBUG rt => rt_7
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 5> :
<L2>:
  # DEBUG BEGIN_STMT
  rt_5 = 2;
  # DEBUG rt => rt_5
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 6> :
<L3>:
  # DEBUG BEGIN_STMT
  rt_6 = 3;
  # DEBUG rt => rt_6
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 7> :
<L4>:
  # DEBUG BEGIN_STMT
  rt_33 = 4;
  # DEBUG rt => rt_33
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 8> :
<L5>:
  # DEBUG BEGIN_STMT
  rt_32 = 5;
  # DEBUG rt => rt_32
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 9> :
<L6>:
  # DEBUG BEGIN_STMT
  rt_31 = 6;
  # DEBUG rt => rt_31
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 10> :
<L7>:
  # DEBUG BEGIN_STMT
  rt_30 = 7;
  # DEBUG rt => rt_30
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 11> :
<L8>:
  # DEBUG BEGIN_STMT
  rt_29 = 8;
  # DEBUG rt => rt_29
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 12> :
<L9>:
  # DEBUG BEGIN_STMT
  rt_28 = 9;
  # DEBUG rt => rt_28
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 13> :
<L10>:
  # DEBUG BEGIN_STMT
  rt_27 = 10;
  # DEBUG rt => rt_27
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 14> :
<L11>:
  # DEBUG BEGIN_STMT
  rt_26 = 10;
  # DEBUG rt => rt_26
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 15> :
<L12>:
  # DEBUG BEGIN_STMT
  rt_25 = 11;
  # DEBUG rt => rt_25
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 16> :
<L13>:
  # DEBUG BEGIN_STMT
  rt_24 = 12;
  # DEBUG rt => rt_24
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 17> :
<L14>:
  # DEBUG BEGIN_STMT
  rt_23 = 13;
  # DEBUG rt => rt_23
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 18> :
<L15>:
  # DEBUG BEGIN_STMT
  rt_22 = 14;
  # DEBUG rt => rt_22
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 19> :
<L16>:
  # DEBUG BEGIN_STMT
  rt_21 = 15;
  # DEBUG rt => rt_21
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 20> :
<L17>:
  # DEBUG BEGIN_STMT
  rt_20 = 16;
  # DEBUG rt => rt_20
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 21> :
<L18>:
  # DEBUG BEGIN_STMT
  rt_19 = 17;
  # DEBUG rt => rt_19
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 22> :
<L19>:
  # DEBUG BEGIN_STMT
  rt_18 = 18;
  # DEBUG rt => rt_18
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 23> :
<L20>:
  # DEBUG BEGIN_STMT
  rt_17 = 19;
  # DEBUG rt => rt_17
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 24> :
<L21>:
  # DEBUG BEGIN_STMT
  rt_16 = 20;
  # DEBUG rt => rt_16
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 25> :
<L22>:
  # DEBUG BEGIN_STMT
  rt_15 = 20;
  # DEBUG rt => rt_15
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 26> :
<L23>:
  # DEBUG BEGIN_STMT
  rt_14 = 21;
  # DEBUG rt => rt_14
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 27> :
<L24>:
  # DEBUG BEGIN_STMT
  rt_13 = 22;
  # DEBUG rt => rt_13
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 28> :
<L25>:
  # DEBUG BEGIN_STMT
  rt_12 = 23;
  # DEBUG rt => rt_12
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 29> :
<L26>:
  # DEBUG BEGIN_STMT
  rt_11 = 24;
  # DEBUG rt => rt_11
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 30> :
<L27>:
  # DEBUG BEGIN_STMT
  rt_10 = 25;
  # DEBUG rt => rt_10
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 31> :
<L28>:
  # DEBUG BEGIN_STMT
  rt_9 = 26;
  # DEBUG rt => rt_9
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 32> :
<L29>:
  # DEBUG BEGIN_STMT
  rt_34 = 65535;
  # DEBUG rt => rt_34
  # DEBUG BEGIN_STMT

  <bb 33> :
  # rt_2 = PHI <rt_8(3), rt_7(4), rt_5(5), rt_6(6), rt_33(7), rt_32(8), rt_31(9), rt_30(10), rt_29(11), rt_28(12), rt_27(13), rt_26(14), rt_25(15), rt_24(16), rt_23(17), rt_22(18), rt_21(19), rt_20(20), rt_19(21), rt_18(22), rt_17(23), rt_16(24), rt_15(25), rt_14(26), rt_13(27), rt_12(28), rt_11(29), rt_10(30), rt_9(31), rt_34(32)>
  # DEBUG rt => rt_2
  # DEBUG BEGIN_STMT
  _35 = rt_2;
  return _35;

}


table_did_maping (uint16_t did)
{
  uint16_t rt;
  int _1;
  uint16_t _35;

  <bb 2> :
  # DEBUG BEGIN_STMT
  rt_3 = 65535;
  # DEBUG rt => rt_3
  # DEBUG BEGIN_STMT
  _1 = (int) did_4(D);
  switch (_1) <default: <L29> [INV], case 61456: <L4> [INV], case 61457: <L5> [INV], case 61458: <L6> [INV], case 61459: <L7> [INV], case 61460: <L8> [INV], case 61461: <L9> [INV], case 61462: <L10> [INV], case 61463: <L11> [INV], case 61464: <L12> [INV], case 61465: <L13> [INV], case 61466: <L14> [INV], case 61467: <L15> [INV], case 61468: <L16> [INV], case 61469: <L17> [INV], case 61470: <L18> [INV], case 61471: <L19> [INV], case 61472: <L20> [INV], case 61473: <L21> [INV], case 61474: <L22> [INV], case 61475: <L23> [INV], case 61476: <L24> [INV], case 61477: <L25> [INV], case 61478: <L26> [INV], case 61479: <L27> [INV], case 61480: <L28> [INV], case 61831: <L0> [INV], case 61832: <L1> [INV], case 61843: <L3> [INV], case 61845: <L2> [INV]>

  <bb 3> :
<L0>:
  # DEBUG BEGIN_STMT
  rt_8 = 0;
  # DEBUG rt => rt_8
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 4> :
<L1>:
  # DEBUG BEGIN_STMT
  rt_7 = 1;
  # DEBUG rt => rt_7
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 5> :
<L2>:
  # DEBUG BEGIN_STMT
  rt_5 = 2;
  # DEBUG rt => rt_5
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 6> :
<L3>:
  # DEBUG BEGIN_STMT
  rt_6 = 3;
  # DEBUG rt => rt_6
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 7> :
<L4>:
  # DEBUG BEGIN_STMT
  rt_33 = 4;
  # DEBUG rt => rt_33
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 8> :
<L5>:
  # DEBUG BEGIN_STMT
  rt_32 = 5;
  # DEBUG rt => rt_32
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 9> :
<L6>:
  # DEBUG BEGIN_STMT
  rt_31 = 6;
  # DEBUG rt => rt_31
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 10> :
<L7>:
  # DEBUG BEGIN_STMT
  rt_30 = 7;
  # DEBUG rt => rt_30
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 11> :
<L8>:
  # DEBUG BEGIN_STMT
  rt_29 = 8;
  # DEBUG rt => rt_29
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 12> :
<L9>:
  # DEBUG BEGIN_STMT
  rt_28 = 9;
  # DEBUG rt => rt_28
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 13> :
<L10>:
  # DEBUG BEGIN_STMT
  rt_27 = 10;
  # DEBUG rt => rt_27
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 14> :
<L11>:
  # DEBUG BEGIN_STMT
  rt_26 = 10;
  # DEBUG rt => rt_26
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 15> :
<L12>:
  # DEBUG BEGIN_STMT
  rt_25 = 11;
  # DEBUG rt => rt_25
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 16> :
<L13>:
  # DEBUG BEGIN_STMT
  rt_24 = 12;
  # DEBUG rt => rt_24
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 17> :
<L14>:
  # DEBUG BEGIN_STMT
  rt_23 = 13;
  # DEBUG rt => rt_23
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 18> :
<L15>:
  # DEBUG BEGIN_STMT
  rt_22 = 14;
  # DEBUG rt => rt_22
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 19> :
<L16>:
  # DEBUG BEGIN_STMT
  rt_21 = 15;
  # DEBUG rt => rt_21
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 20> :
<L17>:
  # DEBUG BEGIN_STMT
  rt_20 = 16;
  # DEBUG rt => rt_20
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 21> :
<L18>:
  # DEBUG BEGIN_STMT
  rt_19 = 17;
  # DEBUG rt => rt_19
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 22> :
<L19>:
  # DEBUG BEGIN_STMT
  rt_18 = 18;
  # DEBUG rt => rt_18
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 23> :
<L20>:
  # DEBUG BEGIN_STMT
  rt_17 = 19;
  # DEBUG rt => rt_17
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 24> :
<L21>:
  # DEBUG BEGIN_STMT
  rt_16 = 20;
  # DEBUG rt => rt_16
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 25> :
<L22>:
  # DEBUG BEGIN_STMT
  rt_15 = 20;
  # DEBUG rt => rt_15
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 26> :
<L23>:
  # DEBUG BEGIN_STMT
  rt_14 = 21;
  # DEBUG rt => rt_14
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 27> :
<L24>:
  # DEBUG BEGIN_STMT
  rt_13 = 22;
  # DEBUG rt => rt_13
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 28> :
<L25>:
  # DEBUG BEGIN_STMT
  rt_12 = 23;
  # DEBUG rt => rt_12
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 29> :
<L26>:
  # DEBUG BEGIN_STMT
  rt_11 = 24;
  # DEBUG rt => rt_11
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 30> :
<L27>:
  # DEBUG BEGIN_STMT
  rt_10 = 25;
  # DEBUG rt => rt_10
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 31> :
<L28>:
  # DEBUG BEGIN_STMT
  rt_9 = 26;
  # DEBUG rt => rt_9
  # DEBUG BEGIN_STMT
  goto <bb 33>; [INV]

  <bb 32> :
<L29>:
  # DEBUG BEGIN_STMT
  rt_34 = 65535;
  # DEBUG rt => rt_34
  # DEBUG BEGIN_STMT

  <bb 33> :
  # rt_2 = PHI <rt_8(3), rt_7(4), rt_5(5), rt_6(6), rt_33(7), rt_32(8), rt_31(9), rt_30(10), rt_29(11), rt_28(12), rt_27(13), rt_26(14), rt_25(15), rt_24(16), rt_23(17), rt_22(18), rt_21(19), rt_20(20), rt_19(21), rt_18(22), rt_17(23), rt_16(24), rt_15(25), rt_14(26), rt_13(27), rt_12(28), rt_11(29), rt_10(30), rt_9(31), rt_34(32)>
  # DEBUG rt => rt_2
  # DEBUG BEGIN_STMT
  _35 = rt_2;
  return _35;

}