Emios_Mcl_Ip_SetCounterBusPeriod (uint8 hwInstance, uint8 hwChannel, uint16 period)
{
  Emios_Ip_CommonStatusType status;
  _Bool _1;
  _Bool _2;
  _Bool _3;
  int _4;
  int _5;
  <unnamed type> _6;
  int _7;
  int _8;
  <unnamed type> _9;
  int _10;
  struct eMIOS_Type * _11;
  int _12;
  long unsigned int _13;
  Emios_Ip_CommonStatusType _27;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = period_16(D) != 65535;
  DevAssert (_1);
  # DEBUG BEGIN_STMT
  _2 = hwInstance_19(D) <= 2;
  DevAssert (_2);
  # DEBUG BEGIN_STMT
  _3 = hwChannel_21(D) <= 23;
  DevAssert (_3);
  # DEBUG BEGIN_STMT
  status_23 = 1;
  # DEBUG status => status_23
  # DEBUG BEGIN_STMT
  _4 = (int) hwInstance_19(D);
  _5 = (int) hwChannel_21(D);
  _6 = Emios_Ip_ChState[_4][_5].counterMode;
  if (_6 == 80)
    goto <bb 4>; [INV]
  else
    goto <bb 3>; [INV]

  <bb 3> :
  _7 = (int) hwInstance_19(D);
  _8 = (int) hwChannel_21(D);
  _9 = Emios_Ip_ChState[_7][_8].counterMode;
  if (_9 == 84)
    goto <bb 4>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 4> :
  if (period_16(D) == 0)
    goto <bb 5>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 5> :
  # DEBUG BEGIN_STMT
  status_24 = 1;
  # DEBUG status => status_24
  goto <bb 7>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  _10 = (int) hwInstance_19(D);
  _11 = emiosBase[_10];
  _12 = (int) hwChannel_21(D);
  _13 = (long unsigned int) period_16(D);
  _11->CH.UC[_12].A ={v} _13;
  # DEBUG BEGIN_STMT
  status_26 = 0;
  # DEBUG status => status_26

  <bb 7> :
  # status_14 = PHI <status_24(5), status_26(6)>
  # DEBUG status => status_14
  # DEBUG BEGIN_STMT
  _27 = status_14;
  return _27;

}


Emios_Mcl_Ip_ValidateChannel (uint8 hwInstance, uint8 hwChannel)
{
  boolean valid;
  _Bool _1;
  _Bool _2;
  int _3;
  int _4;
  _Bool _5;
  boolean _14;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = hwInstance_7(D) <= 2;
  DevAssert (_1);
  # DEBUG BEGIN_STMT
  _2 = hwChannel_10(D) <= 23;
  DevAssert (_2);
  # DEBUG BEGIN_STMT
  valid_12 = 0;
  # DEBUG valid => valid_12
  # DEBUG BEGIN_STMT
  _3 = (int) hwInstance_7(D);
  _4 = (int) hwChannel_10(D);
  _5 = Emios_Ip_ChState[_3][_4].channelInitState;
  if (_5 != 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  valid_13 = 1;
  # DEBUG valid => valid_13

  <bb 4> :
  # valid_6 = PHI <valid_12(2), valid_13(3)>
  # DEBUG valid => valid_6
  # DEBUG BEGIN_STMT
  _14 = valid_6;
  return _14;

}


Emios_Mcl_Ip_SetReloadInterval (uint8 hwInstance, uint8 hwChannel, uint8 interval)
{
  _Bool _1;
  _Bool _2;
  _Bool _3;
  long unsigned int _4;
  int _5;
  struct eMIOS_Type * _6;
  int _7;
  long unsigned int _8;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = interval_9(D) <= 30;
  DevAssert (_1);
  # DEBUG BEGIN_STMT
  _2 = hwInstance_12(D) <= 2;
  DevAssert (_2);
  # DEBUG BEGIN_STMT
  _3 = hwChannel_14(D) <= 23;
  DevAssert (_3);
  # DEBUG BEGIN_STMT
  _4 = (long unsigned int) interval_9(D);
  _5 = (int) hwInstance_12(D);
  _6 = emiosBase[_5];
  _7 = (int) hwChannel_14(D);
  _8 = _4 & 31;
  _6->CH.UC[_7].C2 ={v} _8;
  return;

}


Emios_Mcl_Ip_Deinit (uint8 instance)
{
  struct eMIOS_Type * base;
  Emios_Ip_CommonStatusType status;
  uint8 currentChannel;
  _Bool _1;
  int _2;
  int _3;
  _Bool _4;
  _Bool _5;
  long unsigned int _6;
  long unsigned int _7;
  int _8;
  int _9;
  _Bool _10;
  int _11;
  struct eMIOS_Type * _12;
  int _13;
  int _14;
  struct eMIOS_Type * _15;
  int _16;
  int _17;
  struct eMIOS_Type * _18;
  int _19;
  int _20;
  struct eMIOS_Type * _21;
  int _22;
  struct eMIOS_Type * _23;
  long unsigned int _24;
  int _25;
  int _26;
  unsigned char currentChannel.2_27;
  int _28;
  Emios_Ip_CommonStatusType _50;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = instance_34(D) <= 2;
  DevAssert (_1);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  status_37 = 0;
  # DEBUG status => status_37
  # DEBUG BEGIN_STMT
  _2 = (int) instance_34(D);
  base_38 = emiosBase[_2];
  # DEBUG base => base_38
  # DEBUG BEGIN_STMT
  _3 = (int) instance_34(D);
  _4 = Emios_Ip_IpIsInitialized[_3].instanceInitState;
  _5 = ~_4;
  if (_5 != 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  status_49 = 1;
  # DEBUG status => status_49
  goto <bb 10>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  _6 ={v} base_38->MCR;
  _7 = _6 & 4227858431;
  base_38->MCR ={v} _7;
  # DEBUG BEGIN_STMT
  base_38->MCR ={v} 0;
  # DEBUG BEGIN_STMT
  currentChannel_41 = 0;
  # DEBUG currentChannel => currentChannel_41
  goto <bb 8>; [INV]

  <bb 5> :
  # DEBUG BEGIN_STMT
  _8 = (int) instance_34(D);
  _9 = (int) currentChannel_29;
  _10 = Emios_Ip_ChState[_8][_9].channelInitState;
  if (_10 != 0)
    goto <bb 6>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  _11 = (int) instance_34(D);
  _12 = emiosBase[_11];
  _13 = (int) currentChannel_29;
  _12->CH.UC[_13].C ={v} 0;
  # DEBUG BEGIN_STMT
  _14 = (int) instance_34(D);
  _15 = emiosBase[_14];
  _16 = (int) currentChannel_29;
  _15->CH.UC[_16].A ={v} 0;
  # DEBUG BEGIN_STMT
  _17 = (int) instance_34(D);
  _18 = emiosBase[_17];
  _19 = (int) currentChannel_29;
  _18->CH.UC[_19].B ={v} 0;
  # DEBUG BEGIN_STMT
  _20 = (int) instance_34(D);
  _21 = emiosBase[_20];
  _22 = (int) instance_34(D);
  _23 = emiosBase[_22];
  _24 ={v} _21->UCDIS;
  _23->UCDIS ={v} _24;
  # DEBUG BEGIN_STMT
  _25 = (int) instance_34(D);
  _26 = (int) currentChannel_29;
  Emios_Ip_ChState[_25][_26].channelInitState = 0;

  <bb 7> :
  # DEBUG BEGIN_STMT
  currentChannel.2_27 = currentChannel_29;
  currentChannel_48 = currentChannel.2_27 + 1;
  # DEBUG currentChannel => currentChannel_48

  <bb 8> :
  # currentChannel_29 = PHI <currentChannel_41(4), currentChannel_48(7)>
  # DEBUG currentChannel => currentChannel_29
  # DEBUG BEGIN_STMT
  if (currentChannel_29 <= 23)
    goto <bb 5>; [INV]
  else
    goto <bb 9>; [INV]

  <bb 9> :
  # DEBUG BEGIN_STMT
  _28 = (int) instance_34(D);
  Emios_Ip_IpIsInitialized[_28].instanceInitState = 0;

  <bb 10> :
  # status_30 = PHI <status_49(3), status_37(9)>
  # DEBUG status => status_30
  # DEBUG BEGIN_STMT
  _50 = status_30;
  return _50;

}


Emios_Mcl_Ip_ComparatorTransferDisable (uint8 instance, uint32 channelMask)
{
  struct eMIOS_Type * base;
  _Bool _1;
  _Bool _2;
  int _3;
  long unsigned int _4;
  long unsigned int _5;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = instance_6(D) <= 2;
  DevAssert (_1);
  # DEBUG BEGIN_STMT
  _2 = channelMask_9(D) <= 16777214;
  DevAssert (_2);
  # DEBUG BEGIN_STMT
  _3 = (int) instance_6(D);
  base_11 = emiosBase[_3];
  # DEBUG base => base_11
  # DEBUG BEGIN_STMT
  _4 ={v} base_11->OUDIS;
  _5 = channelMask_9(D) | _4;
  base_11->OUDIS ={v} _5;
  return;

}


Emios_Mcl_Ip_ComparatorTransferEnable (uint8 instance, uint32 channelMask)
{
  struct eMIOS_Type * base;
  _Bool _1;
  _Bool _2;
  int _3;
  long unsigned int _4;
  long unsigned int _5;
  long unsigned int _6;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = instance_7(D) <= 2;
  DevAssert (_1);
  # DEBUG BEGIN_STMT
  _2 = channelMask_10(D) <= 16777214;
  DevAssert (_2);
  # DEBUG BEGIN_STMT
  _3 = (int) instance_7(D);
  base_12 = emiosBase[_3];
  # DEBUG base => base_12
  # DEBUG BEGIN_STMT
  _4 ={v} base_12->OUDIS;
  _5 = ~channelMask_10(D);
  _6 = _4 & _5;
  base_12->OUDIS ={v} _6;
  return;

}


Emios_Mcl_Ip_DisableChannel (uint8 instance, uint8 u8HwChannel)
{
  struct eMIOS_Type * base;
  _Bool _1;
  _Bool _2;
  int _3;
  long unsigned int _4;
  long unsigned int _5;
  long unsigned int _6;
  long unsigned int _7;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = instance_8(D) <= 2;
  DevAssert (_1);
  # DEBUG BEGIN_STMT
  _2 = u8HwChannel_11(D) <= 23;
  DevAssert (_2);
  # DEBUG BEGIN_STMT
  _3 = (int) instance_8(D);
  base_13 = emiosBase[_3];
  # DEBUG base => base_13
  # DEBUG BEGIN_STMT
  _4 ={v} base_13->UCDIS;
  _5 = (long unsigned int) u8HwChannel_11(D);
  _6 = 1 << _5;
  _7 = _4 | _6;
  base_13->UCDIS ={v} _7;
  return;

}


Emios_Mcl_Ip_EnableChannel (uint8 instance, uint8 u8HwChannel)
{
  struct eMIOS_Type * base;
  _Bool _1;
  _Bool _2;
  int _3;
  long unsigned int _4;
  long unsigned int _5;
  long unsigned int _6;
  long unsigned int _7;
  long unsigned int _8;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = instance_9(D) <= 2;
  DevAssert (_1);
  # DEBUG BEGIN_STMT
  _2 = u8HwChannel_12(D) <= 23;
  DevAssert (_2);
  # DEBUG BEGIN_STMT
  _3 = (int) instance_9(D);
  base_14 = emiosBase[_3];
  # DEBUG base => base_14
  # DEBUG BEGIN_STMT
  _4 ={v} base_14->UCDIS;
  _5 = (long unsigned int) u8HwChannel_12(D);
  _6 = 1 << _5;
  _7 = ~_6;
  _8 = _4 & _7;
  base_14->UCDIS ={v} _8;
  return;

}


Emios_Mcl_Ip_Init (uint8 instance, const struct Emios_Mcl_Ip_ConfigType * const pConfig)
{
  Emios_Ip_CommonStatusType status;
  struct eMIOS_Type * base;
  uint8 currentChannel;
  _Bool _1;
  _Bool _2;
  int _3;
  int _4;
  _Bool _5;
  long unsigned int _6;
  long unsigned int _7;
  const struct Emios_Ip_GlobalConfigType * _8;
  unsigned char _9;
  long unsigned int _10;
  long unsigned int _11;
  long unsigned int _12;
  const struct Emios_Ip_GlobalConfigType * _13;
  _Bool _14;
  long unsigned int _15;
  long unsigned int _16;
  long unsigned int _17;
  long unsigned int _18;
  const struct Emios_Ip_GlobalConfigType * _19;
  _Bool _20;
  long unsigned int _21;
  long unsigned int _22;
  long unsigned int _23;
  long unsigned int _24;
  const struct Emios_Ip_MasterBusConfigType[<unknown>] * _25;
  int _26;
  _Bool _27;
  const struct Emios_Ip_MasterBusConfigType[<unknown>] * _28;
  int _29;
  unsigned char _30;
  int _31;
  long unsigned int _32;
  const struct Emios_Ip_MasterBusConfigType[<unknown>] * _33;
  int _34;
  unsigned char _35;
  int _36;
  long unsigned int _37;
  const struct Emios_Ip_MasterBusConfigType[<unknown>] * _38;
  int _39;
  unsigned char _40;
  int _41;
  long unsigned int _42;
  const struct Emios_Ip_MasterBusConfigType[<unknown>] * _43;
  int _44;
  unsigned char _45;
  long unsigned int _46;
  long unsigned int _47;
  long unsigned int _48;
  const struct Emios_Ip_MasterBusConfigType[<unknown>] * _49;
  int _50;
  unsigned char _51;
  int _52;
  long unsigned int _53;
  const struct Emios_Ip_MasterBusConfigType[<unknown>] * _54;
  int _55;
  <unnamed type> _56;
  int _57;
  const struct Emios_Ip_MasterBusConfigType[<unknown>] * _58;
  int _59;
  const struct Emios_Ip_MasterBusConfigType[<unknown>] * _60;
  int _61;
  unsigned char _62;
  int _63;
  long unsigned int _64;
  const struct Emios_Ip_MasterBusConfigType[<unknown>] * _65;
  int _66;
  const struct Emios_Ip_MasterBusConfigType[<unknown>] * _67;
  int _68;
  unsigned char _69;
  int _70;
  long unsigned int _71;
  const struct Emios_Ip_MasterBusConfigType[<unknown>] * _72;
  int _73;
  unsigned char _74;
  int _75;
  const struct Emios_Ip_MasterBusConfigType[<unknown>] * _76;
  int _77;
  const struct Emios_Ip_MasterBusConfigType[<unknown>] * _78;
  int _79;
  unsigned char _80;
  int _81;
  long unsigned int _82;
  const struct Emios_Ip_MasterBusConfigType[<unknown>] * _83;
  int _84;
  const struct Emios_Ip_MasterBusConfigType[<unknown>] * _85;
  int _86;
  unsigned char _87;
  int _88;
  long unsigned int _89;
  const struct Emios_Ip_MasterBusConfigType[<unknown>] * _90;
  int _91;
  const struct Emios_Ip_MasterBusConfigType[<unknown>] * _92;
  int _93;
  unsigned char _94;
  int _95;
  long unsigned int _96;
  const struct Emios_Ip_MasterBusConfigType[<unknown>] * _97;
  int _98;
  const struct Emios_Ip_MasterBusConfigType[<unknown>] * _99;
  int _100;
  unsigned char _101;
  int _102;
  long unsigned int _103;
  const struct Emios_Ip_MasterBusConfigType[<unknown>] * _104;
  int _105;
  unsigned char _106;
  int _107;
  long unsigned int _108;
  const struct Emios_Ip_MasterBusConfigType[<unknown>] * _109;
  int _110;
  <unnamed type> _111;
  long unsigned int _112;
  long unsigned int _113;
  const struct Emios_Ip_MasterBusConfigType[<unknown>] * _114;
  int _115;
  unsigned char _116;
  int _117;
  long unsigned int _118;
  const struct Emios_Ip_MasterBusConfigType[<unknown>] * _119;
  int _120;
  unsigned char _121;
  int _122;
  long unsigned int _123;
  const struct Emios_Ip_MasterBusConfigType[<unknown>] * _124;
  int _125;
  unsigned char _126;
  int _127;
  long unsigned int _128;
  const struct Emios_Ip_MasterBusConfigType[<unknown>] * _129;
  int _130;
  unsigned char _131;
  int _132;
  long unsigned int _133;
  const struct Emios_Ip_MasterBusConfigType[<unknown>] * _134;
  int _135;
  _Bool _136;
  long unsigned int _137;
  long unsigned int _138;
  long unsigned int _139;
  const struct Emios_Ip_MasterBusConfigType[<unknown>] * _140;
  int _141;
  unsigned char _142;
  int _143;
  long unsigned int _144;
  const struct Emios_Ip_MasterBusConfigType[<unknown>] * _145;
  int _146;
  int _147;
  const struct Emios_Ip_MasterBusConfigType[<unknown>] * _148;
  int _149;
  unsigned char _150;
  int _151;
  <unnamed type> _152;
  int _153;
  const struct Emios_Ip_MasterBusConfigType[<unknown>] * _154;
  int _155;
  unsigned char _156;
  int _157;
  unsigned char currentChannel.0_158;
  unsigned char _159;
  int _160;
  long unsigned int _161;
  long unsigned int _162;
  Emios_Ip_CommonStatusType _197;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = instance_169(D) <= 2;
  DevAssert (_1);
  # DEBUG BEGIN_STMT
  _2 = pConfig_172(D) != 0B;
  DevAssert (_2);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _3 = (int) instance_169(D);
  base_174 = emiosBase[_3];
  # DEBUG base => base_174
  # DEBUG BEGIN_STMT
  status_175 = 0;
  # DEBUG status => status_175
  # DEBUG BEGIN_STMT
  _4 = (int) instance_169(D);
  _5 = Emios_Ip_IpIsInitialized[_4].instanceInitState;
  if (_5 != 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  status_195 = 1;
  # DEBUG status => status_195
  goto <bb 16>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  _6 ={v} base_174->MCR;
  _7 = _6 & 4227858431;
  base_174->MCR ={v} _7;
  # DEBUG BEGIN_STMT
  _8 = pConfig_172(D)->emiosGlobalConfig;
  _9 = _8->clkDivVal;
  _10 = (long unsigned int) _9;
  _11 = _10 << 8;
  _12 = _11 & 65535;
  _13 = pConfig_172(D)->emiosGlobalConfig;
  _14 = _13->allowDebugMode;
  _15 = (long unsigned int) _14;
  _16 = _15 << 29;
  _17 = _16 & 536870912;
  _18 = _12 | _17;
  _19 = pConfig_172(D)->emiosGlobalConfig;
  _20 = _19->enableGlobalTimeBase;
  _21 = (long unsigned int) _20;
  _22 = _21 << 28;
  _23 = _22 & 268435456;
  _24 = _18 | _23;
  base_174->MCR ={v} _24;
  # DEBUG BEGIN_STMT
  currentChannel_178 = 0;
  # DEBUG currentChannel => currentChannel_178
  goto <bb 14>; [INV]

  <bb 5> :
  # DEBUG BEGIN_STMT
  _25 = pConfig_172(D)->masterBusConfig;
  _26 = (int) currentChannel_163;
  _27 = *_25[_26].allowDebugMode;
  if (_27 != 0)
    goto <bb 6>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  _28 = pConfig_172(D)->masterBusConfig;
  _29 = (int) currentChannel_163;
  _30 = *_28[_29].hwChannel;
  _31 = (int) _30;
  _32 ={v} base_174->CH.UC[_31].C;
  _33 = pConfig_172(D)->masterBusConfig;
  _34 = (int) currentChannel_163;
  _35 = *_33[_34].hwChannel;
  _36 = (int) _35;
  _37 = _32 | 2147483648;
  base_174->CH.UC[_36].C ={v} _37;

  <bb 7> :
  # DEBUG BEGIN_STMT
  _38 = pConfig_172(D)->masterBusConfig;
  _39 = (int) currentChannel_163;
  _40 = *_38[_39].hwChannel;
  _41 = (int) _40;
  _42 ={v} base_174->CH.UC[_41].C;
  _43 = pConfig_172(D)->masterBusConfig;
  _44 = (int) currentChannel_163;
  _45 = *_43[_44].masterBusPrescaler;
  _46 = (long unsigned int) _45;
  _47 = _46 << 26;
  _48 = _47 & 201326592;
  _49 = pConfig_172(D)->masterBusConfig;
  _50 = (int) currentChannel_163;
  _51 = *_49[_50].hwChannel;
  _52 = (int) _51;
  _53 = _42 | _48;
  base_174->CH.UC[_52].C ={v} _53;
  # DEBUG BEGIN_STMT
  _54 = pConfig_172(D)->masterBusConfig;
  _55 = (int) currentChannel_163;
  _56 = *_54[_55].masterMode;
  _57 = (int) _56;
  switch (_57) <default: <L16> [INV], case 16: <L5> [INV], case 18: <L6> [INV], case 20: <L7> [INV], case 80: <L8> [INV], case 84: <L9> [INV]>

  <bb 8> :
<L5>:
  # DEBUG BEGIN_STMT
  _58 = pConfig_172(D)->masterBusConfig;
  _59 = (int) currentChannel_163;
  _60 = pConfig_172(D)->masterBusConfig;
  _61 = (int) currentChannel_163;
  _62 = *_60[_61].hwChannel;
  _63 = (int) _62;
  _64 = *_58[_59].defaultPeriod;
  base_174->CH.UC[_63].A ={v} _64;
  # DEBUG BEGIN_STMT
  goto <bb 13>; [INV]

  <bb 9> :
<L6>:
  # DEBUG BEGIN_STMT
  _65 = pConfig_172(D)->masterBusConfig;
  _66 = (int) currentChannel_163;
  _67 = pConfig_172(D)->masterBusConfig;
  _68 = (int) currentChannel_163;
  _69 = *_67[_68].hwChannel;
  _70 = (int) _69;
  _71 = *_65[_66].defaultPeriod;
  base_174->CH.UC[_70].A ={v} _71;
  # DEBUG BEGIN_STMT
  goto <bb 13>; [INV]

  <bb 10> :
<L7>:
  # DEBUG BEGIN_STMT
  _72 = pConfig_172(D)->masterBusConfig;
  _73 = (int) currentChannel_163;
  _74 = *_72[_73].hwChannel;
  _75 = (int) _74;
  base_174->CH.UC[_75].B ={v} 0;
  # DEBUG BEGIN_STMT
  _76 = pConfig_172(D)->masterBusConfig;
  _77 = (int) currentChannel_163;
  _78 = pConfig_172(D)->masterBusConfig;
  _79 = (int) currentChannel_163;
  _80 = *_78[_79].hwChannel;
  _81 = (int) _80;
  _82 = *_76[_77].defaultPeriod;
  base_174->CH.UC[_81].A ={v} _82;
  # DEBUG BEGIN_STMT
  goto <bb 13>; [INV]

  <bb 11> :
<L8>:
  # DEBUG BEGIN_STMT
  _83 = pConfig_172(D)->masterBusConfig;
  _84 = (int) currentChannel_163;
  _85 = pConfig_172(D)->masterBusConfig;
  _86 = (int) currentChannel_163;
  _87 = *_85[_86].hwChannel;
  _88 = (int) _87;
  _89 = *_83[_84].defaultPeriod;
  base_174->CH.UC[_88].A ={v} _89;
  # DEBUG BEGIN_STMT
  goto <bb 13>; [INV]

  <bb 12> :
<L9>:
  # DEBUG BEGIN_STMT
  _90 = pConfig_172(D)->masterBusConfig;
  _91 = (int) currentChannel_163;
  _92 = pConfig_172(D)->masterBusConfig;
  _93 = (int) currentChannel_163;
  _94 = *_92[_93].hwChannel;
  _95 = (int) _94;
  _96 = *_90[_91].defaultPeriod;
  base_174->CH.UC[_95].A ={v} _96;
  # DEBUG BEGIN_STMT

  <bb 13> :
<L16>:
  # DEBUG BEGIN_STMT
  _97 = pConfig_172(D)->masterBusConfig;
  _98 = (int) currentChannel_163;
  _99 = pConfig_172(D)->masterBusConfig;
  _100 = (int) currentChannel_163;
  _101 = *_99[_100].hwChannel;
  _102 = (int) _101;
  _103 = *_97[_98].offsetStartValue;
  base_174->CH.UC[_102].CNT ={v} _103;
  # DEBUG BEGIN_STMT
  _104 = pConfig_172(D)->masterBusConfig;
  _105 = (int) currentChannel_163;
  _106 = *_104[_105].hwChannel;
  _107 = (int) _106;
  _108 ={v} base_174->CH.UC[_107].C;
  _109 = pConfig_172(D)->masterBusConfig;
  _110 = (int) currentChannel_163;
  _111 = *_109[_110].masterMode;
  _112 = (long unsigned int) _111;
  _113 = _112 & 127;
  _114 = pConfig_172(D)->masterBusConfig;
  _115 = (int) currentChannel_163;
  _116 = *_114[_115].hwChannel;
  _117 = (int) _116;
  _118 = _108 | _113;
  base_174->CH.UC[_117].C ={v} _118;
  # DEBUG BEGIN_STMT
  _119 = pConfig_172(D)->masterBusConfig;
  _120 = (int) currentChannel_163;
  _121 = *_119[_120].hwChannel;
  _122 = (int) _121;
  _123 ={v} base_174->CH.UC[_122].C;
  _124 = pConfig_172(D)->masterBusConfig;
  _125 = (int) currentChannel_163;
  _126 = *_124[_125].hwChannel;
  _127 = (int) _126;
  _128 = _123 | 33554432;
  base_174->CH.UC[_127].C ={v} _128;
  # DEBUG BEGIN_STMT
  _129 = pConfig_172(D)->masterBusConfig;
  _130 = (int) currentChannel_163;
  _131 = *_129[_130].hwChannel;
  _132 = (int) _131;
  _133 ={v} base_174->CH.UC[_132].C;
  _134 = pConfig_172(D)->masterBusConfig;
  _135 = (int) currentChannel_163;
  _136 = *_134[_135].interruptEnable;
  _137 = (long unsigned int) _136;
  _138 = _137 << 17;
  _139 = _138 & 131072;
  _140 = pConfig_172(D)->masterBusConfig;
  _141 = (int) currentChannel_163;
  _142 = *_140[_141].hwChannel;
  _143 = (int) _142;
  _144 = _133 | _139;
  base_174->CH.UC[_143].C ={v} _144;
  # DEBUG BEGIN_STMT
  _145 = pConfig_172(D)->masterBusConfig;
  _146 = (int) currentChannel_163;
  _147 = (int) instance_169(D);
  _148 = pConfig_172(D)->masterBusConfig;
  _149 = (int) currentChannel_163;
  _150 = *_148[_149].hwChannel;
  _151 = (int) _150;
  _152 = *_145[_146].masterMode;
  Emios_Ip_ChState[_147][_151].counterMode = _152;
  # DEBUG BEGIN_STMT
  _153 = (int) instance_169(D);
  _154 = pConfig_172(D)->masterBusConfig;
  _155 = (int) currentChannel_163;
  _156 = *_154[_155].hwChannel;
  _157 = (int) _156;
  Emios_Ip_ChState[_153][_157].channelInitState = 1;
  # DEBUG BEGIN_STMT
  currentChannel.0_158 = currentChannel_163;
  currentChannel_194 = currentChannel.0_158 + 1;
  # DEBUG currentChannel => currentChannel_194

  <bb 14> :
  # currentChannel_163 = PHI <currentChannel_178(4), currentChannel_194(13)>
  # DEBUG currentChannel => currentChannel_163
  # DEBUG BEGIN_STMT
  _159 = pConfig_172(D)->channelsNumber;
  if (currentChannel_163 < _159)
    goto <bb 5>; [INV]
  else
    goto <bb 15>; [INV]

  <bb 15> :
  # DEBUG BEGIN_STMT
  _160 = (int) instance_169(D);
  Emios_Ip_IpIsInitialized[_160].instanceInitState = 1;

  <bb 16> :
  # status_164 = PHI <status_195(3), status_175(15)>
  # DEBUG status => status_164
  # DEBUG BEGIN_STMT
  _161 ={v} base_174->MCR;
  _162 = _161 | 67108864;
  base_174->MCR ={v} _162;
  # DEBUG BEGIN_STMT
  _197 = status_164;
  return _197;

}


DevAssert (volatile boolean x)
{
  _Bool x.1_1;

  <bb 2> :
  # DEBUG BEGIN_STMT
  x.1_1 ={v} x;
  if (x.1_1 != 0)
    goto <bb 4>; [INV]
  else
    goto <bb 3>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 3>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  return;

}


