CRC8_Func (long int aId, int xDatalen, unsigned char * data)
{
  short unsigned int DataId;
  int CrcDlc;
  long unsigned int ret;
  unsigned char _1;
  int _2;
  int _3;
  unsigned char _4;
  unsigned char _5;
  unsigned char _6;
  long unsigned int _7;
  unsigned char _8;
  int _9;
  int _10;
  unsigned char _11;
  unsigned char * _12;
  unsigned char _13;
  unsigned char _14;
  long unsigned int _15;
  unsigned char _16;
  unsigned char _17;
  unsigned char _18;
  unsigned char _19;
  int _20;
  int _21;
  unsigned char _22;
  unsigned char * _23;
  unsigned char _24;
  unsigned char _25;
  long unsigned int _26;
  unsigned char _27;
  unsigned char _28;
  unsigned char _29;
  unsigned char _30;
  int _31;
  int _32;
  unsigned char _33;
  unsigned char * _34;
  unsigned char _35;
  unsigned char _36;
  long unsigned int _37;
  unsigned char _38;
  unsigned char _39;
  unsigned char _40;
  unsigned char _41;
  int _42;
  int _43;
  unsigned char _44;
  unsigned char * _45;
  unsigned char _46;
  unsigned char _47;
  long unsigned int _48;
  unsigned char _49;
  unsigned char _50;
  unsigned char _51;
  unsigned char _52;
  int _53;
  int _54;
  unsigned char _55;
  unsigned char * _56;
  unsigned char _57;
  unsigned char _58;
  long unsigned int _59;
  unsigned char _60;
  unsigned char _61;
  unsigned char _62;
  unsigned char _63;
  int _64;
  int _65;
  unsigned char _66;
  unsigned char * _67;
  unsigned char _68;
  unsigned char _69;
  long unsigned int _70;
  unsigned char _71;
  unsigned char _72;
  unsigned char _73;
  unsigned char _74;
  int _75;
  int _76;
  unsigned char _77;
  unsigned char * _78;
  unsigned char _79;
  unsigned char _80;
  long unsigned int _81;
  long unsigned int _82;
  unsigned char _83;
  unsigned char _84;
  unsigned char _85;
  long unsigned int _86;
  unsigned char _87;
  int _88;
  int _89;
  unsigned char _90;
  unsigned char * _91;
  unsigned char _92;
  unsigned char _93;
  long unsigned int _94;
  unsigned char _95;
  unsigned char _96;
  unsigned char _97;
  unsigned char _98;
  int _99;
  int _100;
  unsigned char _101;
  unsigned char * _102;
  unsigned char _103;
  unsigned char _104;
  long unsigned int _105;
  unsigned char _106;
  unsigned char _107;
  unsigned char _108;
  <unnamed-unsigned:4> _109;
  int _110;
  int _111;
  <unnamed-unsigned:4> _112;
  <unnamed-unsigned:4> _113;
  unsigned char * _114;
  unsigned char _115;
  <unnamed-unsigned:4> _116;
  long unsigned int _117;
  long unsigned int _216;

  <bb 2> :
  # DEBUG BEGIN_STMT
  ret_129 = 1;
  # DEBUG ret => ret_129
  # DEBUG BEGIN_STMT
  CrcDlc_131 = xDatalen_130(D) + -2;
  # DEBUG CrcDlc => CrcDlc_131
  # DEBUG BEGIN_STMT
  DataId_133 = (short unsigned int) aId_132(D);
  # DEBUG DataId => DataId_133
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (aId_132(D) == 80)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = ECU3.TX.CH0_RWA_RackAngleFbk1_0x050.CAR_ARC;
  _2 = (int) _1;
  _3 = PublicTimer (_2);
  _4 = (unsigned char) _3;
  ECU3.TX.CH0_RWA_RackAngleFbk1_0x050.CAR_ARC = _4;
  # DEBUG BEGIN_STMT
  _5 = ECU3.TX.CH0_RWA_RackAngleFbk1_0x050.CAR_ARC;
  *data_137(D) = _5;
  # DEBUG BEGIN_STMT
  _6 = ECU3.TX.CH0_RWA_RackAngleFbk1_0x050.CAR_ARC;
  _7 = (long unsigned int) _6;
  GV_CAR_ARC = _7;

  <bb 4> :
  # DEBUG BEGIN_STMT
  if (aId_132(D) == 100)
    goto <bb 5>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 5> :
  # DEBUG BEGIN_STMT
  _8 = ECU3.TX.CH2_BSC_IDB_BrakeCommand_0x064.Arc;
  _9 = (int) _8;
  _10 = PublicTimer (_9);
  _11 = (unsigned char) _10;
  ECU3.TX.CH2_BSC_IDB_BrakeCommand_0x064.Arc = _11;
  # DEBUG BEGIN_STMT
  _12 = data_137(D) + 1;
  _13 = ECU3.TX.CH2_BSC_IDB_BrakeCommand_0x064.Arc;
  *_12 = _13;
  # DEBUG BEGIN_STMT
  _14 = ECU3.TX.CH2_BSC_IDB_BrakeCommand_0x064.Arc;
  GV_IDB_064_Arc = _14;
  # DEBUG BEGIN_STMT
  _15 = Proxy_CalChksm_IDB_BrakeEcuStatus_CAN (data_137(D));
  _16 = (unsigned char) _15;
  ECU3.TX.CH2_BSC_IDB_BrakeCommand_0x064.Crc = _16;
  # DEBUG BEGIN_STMT
  _17 = ECU3.TX.CH2_BSC_IDB_BrakeCommand_0x064.Crc;
  *data_137(D) = _17;
  # DEBUG BEGIN_STMT
  _18 = ECU3.TX.CH2_BSC_IDB_BrakeCommand_0x064.Crc;
  GV_IDB_064_Crc = _18;

  <bb 6> :
  # DEBUG BEGIN_STMT
  if (aId_132(D) == 101)
    goto <bb 7>; [INV]
  else
    goto <bb 8>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  _19 = ECU3.TX.CH3_BSC_RCU_BrakeCommand_0x065.Arc;
  _20 = (int) _19;
  _21 = PublicTimer (_20);
  _22 = (unsigned char) _21;
  ECU3.TX.CH3_BSC_RCU_BrakeCommand_0x065.Arc = _22;
  # DEBUG BEGIN_STMT
  _23 = data_137(D) + 1;
  _24 = ECU3.TX.CH3_BSC_RCU_BrakeCommand_0x065.Arc;
  *_23 = _24;
  # DEBUG BEGIN_STMT
  _25 = ECU3.TX.CH3_BSC_RCU_BrakeCommand_0x065.Arc;
  GV_RCU_065_Arc = _25;
  # DEBUG BEGIN_STMT
  _26 = Proxy_CalChksm_IDB_BrakeEcuStatus_CAN (data_137(D));
  _27 = (unsigned char) _26;
  ECU3.TX.CH3_BSC_RCU_BrakeCommand_0x065.Crc = _27;
  # DEBUG BEGIN_STMT
  _28 = ECU3.TX.CH3_BSC_RCU_BrakeCommand_0x065.Crc;
  *data_137(D) = _28;
  # DEBUG BEGIN_STMT
  _29 = ECU3.TX.CH3_BSC_RCU_BrakeCommand_0x065.Crc;
  GV_RCU_065_Crc = _29;

  <bb 8> :
  # DEBUG BEGIN_STMT
  if (aId_132(D) == 50)
    goto <bb 9>; [INV]
  else
    goto <bb 10>; [INV]

  <bb 9> :
  # DEBUG BEGIN_STMT
  _30 = ECU3.TX.CH2_BSC_IDB_StartupCommand_0x032.Arc;
  _31 = (int) _30;
  _32 = PublicTimer (_31);
  _33 = (unsigned char) _32;
  ECU3.TX.CH2_BSC_IDB_StartupCommand_0x032.Arc = _33;
  # DEBUG BEGIN_STMT
  _34 = data_137(D) + 1;
  _35 = ECU3.TX.CH2_BSC_IDB_StartupCommand_0x032.Arc;
  *_34 = _35;
  # DEBUG BEGIN_STMT
  _36 = ECU3.TX.CH2_BSC_IDB_StartupCommand_0x032.Arc;
  GV_IDB_032_Arc = _36;
  # DEBUG BEGIN_STMT
  _37 = Proxy_CalChksm_IDB_BrakeEcuStatus_CAN (data_137(D));
  _38 = (unsigned char) _37;
  ECU3.TX.CH2_BSC_IDB_StartupCommand_0x032.Crc = _38;
  # DEBUG BEGIN_STMT
  _39 = ECU3.TX.CH2_BSC_IDB_StartupCommand_0x032.Crc;
  *data_137(D) = _39;
  # DEBUG BEGIN_STMT
  _40 = ECU3.TX.CH2_BSC_IDB_StartupCommand_0x032.Crc;
  GV_IDB_032_Crc = _40;

  <bb 10> :
  # DEBUG BEGIN_STMT
  if (aId_132(D) == 112)
    goto <bb 11>; [INV]
  else
    goto <bb 12>; [INV]

  <bb 11> :
  # DEBUG BEGIN_STMT
  _41 = ECU3.TX.CH2_BSC_IMU_0x070.Arc;
  _42 = (int) _41;
  _43 = PublicTimer (_42);
  _44 = (unsigned char) _43;
  ECU3.TX.CH2_BSC_IMU_0x070.Arc = _44;
  # DEBUG BEGIN_STMT
  _45 = data_137(D) + 1;
  _46 = ECU3.TX.CH2_BSC_IMU_0x070.Arc;
  *_45 = _46;
  # DEBUG BEGIN_STMT
  _47 = ECU3.TX.CH2_BSC_IMU_0x070.Arc;
  GV_IMU_070_Arc = _47;
  # DEBUG BEGIN_STMT
  _48 = Proxy_CalChksm_IDB_BrakeEcuStatus_CAN (data_137(D));
  _49 = (unsigned char) _48;
  ECU3.TX.CH2_BSC_IMU_0x070.Crc = _49;
  # DEBUG BEGIN_STMT
  _50 = ECU3.TX.CH2_BSC_IMU_0x070.Crc;
  *data_137(D) = _50;
  # DEBUG BEGIN_STMT
  _51 = ECU3.TX.CH2_BSC_IMU_0x070.Crc;
  GV_IMU_070_Crc = _51;

  <bb 12> :
  # DEBUG BEGIN_STMT
  if (aId_132(D) == 113)
    goto <bb 13>; [INV]
  else
    goto <bb 14>; [INV]

  <bb 13> :
  # DEBUG BEGIN_STMT
  _52 = ECU3.TX.CH3_BSC_IMU_0x071.Arc;
  _53 = (int) _52;
  _54 = PublicTimer (_53);
  _55 = (unsigned char) _54;
  ECU3.TX.CH3_BSC_IMU_0x071.Arc = _55;
  # DEBUG BEGIN_STMT
  _56 = data_137(D) + 1;
  _57 = ECU3.TX.CH3_BSC_IMU_0x071.Arc;
  *_56 = _57;
  # DEBUG BEGIN_STMT
  _58 = ECU3.TX.CH3_BSC_IMU_0x071.Arc;
  GV_IMU_071_Arc = _58;
  # DEBUG BEGIN_STMT
  _59 = Proxy_CalChksm_IDB_BrakeEcuStatus_CAN (data_137(D));
  _60 = (unsigned char) _59;
  ECU3.TX.CH3_BSC_IMU_0x071.Crc = _60;
  # DEBUG BEGIN_STMT
  _61 = ECU3.TX.CH3_BSC_IMU_0x071.Crc;
  *data_137(D) = _61;
  # DEBUG BEGIN_STMT
  _62 = ECU3.TX.CH3_BSC_IMU_0x071.Crc;
  GV_IMU_071_Crc = _62;

  <bb 14> :
  # DEBUG BEGIN_STMT
  if (aId_132(D) == 51)
    goto <bb 15>; [INV]
  else
    goto <bb 16>; [INV]

  <bb 15> :
  # DEBUG BEGIN_STMT
  _63 = ECU3.TX.CH3_BSC_RCU_StartupCommand_0x033.Arc;
  _64 = (int) _63;
  _65 = PublicTimer (_64);
  _66 = (unsigned char) _65;
  ECU3.TX.CH3_BSC_RCU_StartupCommand_0x033.Arc = _66;
  # DEBUG BEGIN_STMT
  _67 = data_137(D) + 1;
  _68 = ECU3.TX.CH3_BSC_RCU_StartupCommand_0x033.Arc;
  *_67 = _68;
  # DEBUG BEGIN_STMT
  _69 = ECU3.TX.CH3_BSC_RCU_StartupCommand_0x033.Arc;
  GV_RCU_033_Arc = _69;
  # DEBUG BEGIN_STMT
  _70 = Proxy_CalChksm_IDB_BrakeEcuStatus_CAN (data_137(D));
  _71 = (unsigned char) _70;
  ECU3.TX.CH3_BSC_RCU_StartupCommand_0x033.Crc = _71;
  # DEBUG BEGIN_STMT
  _72 = ECU3.TX.CH3_BSC_RCU_StartupCommand_0x033.Crc;
  *data_137(D) = _72;
  # DEBUG BEGIN_STMT
  _73 = ECU3.TX.CH3_BSC_RCU_StartupCommand_0x033.Crc;
  GV_RCU_033_Crc = _73;

  <bb 16> :
  # DEBUG BEGIN_STMT
  if (aId_132(D) == 106)
    goto <bb 17>; [INV]
  else
    goto <bb 18>; [INV]

  <bb 17> :
  # DEBUG BEGIN_STMT
  _74 = ECU3.TX.CH2_BSC_RegenCommand_0x06A.Arc;
  _75 = (int) _74;
  _76 = PublicTimer (_75);
  _77 = (unsigned char) _76;
  ECU3.TX.CH2_BSC_RegenCommand_0x06A.Arc = _77;
  # DEBUG BEGIN_STMT
  _78 = data_137(D) + 1;
  _79 = ECU3.TX.CH2_BSC_RegenCommand_0x06A.Arc;
  *_78 = _79;
  # DEBUG BEGIN_STMT
  _80 = ECU3.TX.CH2_BSC_RegenCommand_0x06A.Arc;
  _81 = (long unsigned int) _80;
  GV_BSC_06A_Arc = _81;
  # DEBUG BEGIN_STMT
  _82 = Proxy_CalChksm_IDB_BrakeEcuStatus_CAN (data_137(D));
  _83 = (unsigned char) _82;
  ECU3.TX.CH2_BSC_RegenCommand_0x06A.Crc = _83;
  # DEBUG BEGIN_STMT
  _84 = ECU3.TX.CH2_BSC_RegenCommand_0x06A.Crc;
  *data_137(D) = _84;
  # DEBUG BEGIN_STMT
  _85 = ECU3.TX.CH2_BSC_RegenCommand_0x06A.Crc;
  _86 = (long unsigned int) _85;
  GV_BSC_06A_Crc = _86;

  <bb 18> :
  # DEBUG BEGIN_STMT
  if (aId_132(D) == 900)
    goto <bb 19>; [INV]
  else
    goto <bb 20>; [INV]

  <bb 19> :
  # DEBUG BEGIN_STMT
  _87 = ECU3.TX.CH2_BSC_VehicleEnvironment_0x384.Arc;
  _88 = (int) _87;
  _89 = PublicTimer (_88);
  _90 = (unsigned char) _89;
  ECU3.TX.CH2_BSC_VehicleEnvironment_0x384.Arc = _90;
  # DEBUG BEGIN_STMT
  _91 = data_137(D) + 1;
  _92 = ECU3.TX.CH2_BSC_VehicleEnvironment_0x384.Arc;
  *_91 = _92;
  # DEBUG BEGIN_STMT
  _93 = ECU3.TX.CH2_BSC_VehicleEnvironment_0x384.Arc;
  GV_Env_384_Arc = _93;
  # DEBUG BEGIN_STMT
  _94 = Proxy_CalChksm_IDB_BrakeEcuStatus_CAN (data_137(D));
  _95 = (unsigned char) _94;
  ECU3.TX.CH2_BSC_VehicleEnvironment_0x384.Crc = _95;
  # DEBUG BEGIN_STMT
  _96 = ECU3.TX.CH2_BSC_VehicleEnvironment_0x384.Crc;
  *data_137(D) = _96;
  # DEBUG BEGIN_STMT
  _97 = ECU3.TX.CH2_BSC_VehicleEnvironment_0x384.Crc;
  GV_Env_384_Crc = _97;

  <bb 20> :
  # DEBUG BEGIN_STMT
  if (aId_132(D) == 901)
    goto <bb 21>; [INV]
  else
    goto <bb 22>; [INV]

  <bb 21> :
  # DEBUG BEGIN_STMT
  _98 = ECU3.TX.CH3_BSC_VehicleEnvironment_0x385.Arc;
  _99 = (int) _98;
  _100 = PublicTimer (_99);
  _101 = (unsigned char) _100;
  ECU3.TX.CH3_BSC_VehicleEnvironment_0x385.Arc = _101;
  # DEBUG BEGIN_STMT
  _102 = data_137(D) + 1;
  _103 = ECU3.TX.CH3_BSC_VehicleEnvironment_0x385.Arc;
  *_102 = _103;
  # DEBUG BEGIN_STMT
  _104 = ECU3.TX.CH3_BSC_VehicleEnvironment_0x385.Arc;
  GV_Env_385_Arc = _104;
  # DEBUG BEGIN_STMT
  _105 = Proxy_CalChksm_IDB_BrakeEcuStatus_CAN (data_137(D));
  _106 = (unsigned char) _105;
  ECU3.TX.CH3_BSC_VehicleEnvironment_0x385.Crc = _106;
  # DEBUG BEGIN_STMT
  _107 = ECU3.TX.CH3_BSC_VehicleEnvironment_0x385.Crc;
  *data_137(D) = _107;
  # DEBUG BEGIN_STMT
  _108 = ECU3.TX.CH3_BSC_VehicleEnvironment_0x385.Crc;
  GV_Env_385_Crc = _108;

  <bb 22> :
  # DEBUG BEGIN_STMT
  if (aId_132(D) == 22)
    goto <bb 23>; [INV]
  else
    goto <bb 24>; [INV]

  <bb 23> :
  # DEBUG BEGIN_STMT
  _109 = ECU3.TX.CH1_ACU_CAR_STAT_CH1_0x016.ACU_CAR_ARC;
  _110 = (int) _109;
  _111 = PublicTimer (_110);
  _112 = (<unnamed-unsigned:4>) _111;
  ECU3.TX.CH1_ACU_CAR_STAT_CH1_0x016.ACU_CAR_ARC = _112;
  # DEBUG BEGIN_STMT
  _113 = ECU3.TX.CH1_ACU_CAR_STAT_CH1_0x016.ACU_CAR_ARC;
  _114 = data_137(D) + 1;
  _115 = (unsigned char) _113;
  *_114 = _115;
  # DEBUG BEGIN_STMT
  _116 = ECU3.TX.CH1_ACU_CAR_STAT_CH1_0x016.ACU_CAR_ARC;
  _117 = (long unsigned int) _116;
  GV_ACU_CAR_ARC = _117;

  <bb 24> :
  # DEBUG BEGIN_STMT
  _216 = ret_129;
  return _216;

}


CRC8_Func_FOR_RWS2 (long int aId, int xDatalen, unsigned char * data)
{
  short unsigned int DataId;
  int CrcDlc;
  long unsigned int ret;
  unsigned char _1;
  int _2;
  int _3;
  unsigned char _4;
  unsigned char * _5;
  unsigned char _6;
  unsigned char _7;
  long unsigned int _8;
  long unsigned int _9;
  unsigned char _10;
  unsigned char _11;
  unsigned char _12;
  long unsigned int _13;
  unsigned char _14;
  int _15;
  int _16;
  unsigned char _17;
  unsigned char * _18;
  unsigned char _19;
  unsigned char _20;
  long unsigned int _21;
  long unsigned int _22;
  unsigned char _23;
  unsigned char _24;
  unsigned char _25;
  long unsigned int _26;
  unsigned char _27;
  int _28;
  int _29;
  unsigned char _30;
  unsigned char * _31;
  unsigned char _32;
  unsigned char _33;
  long unsigned int _34;
  unsigned char _35;
  unsigned char _36;
  unsigned char _37;
  long unsigned int _72;

  <bb 2> :
  # DEBUG BEGIN_STMT
  ret_41 = 1;
  # DEBUG ret => ret_41
  # DEBUG BEGIN_STMT
  CrcDlc_43 = xDatalen_42(D) + -2;
  # DEBUG CrcDlc => CrcDlc_43
  # DEBUG BEGIN_STMT
  DataId_45 = (short unsigned int) aId_44(D);
  # DEBUG DataId => DataId_45
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (aId_44(D) == 64)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = ECU3.TX.CH5_VCU_RWS_Rack_Cmd_0x040.Arc;
  _2 = (int) _1;
  _3 = PublicTimer (_2);
  _4 = (unsigned char) _3;
  ECU3.TX.CH5_VCU_RWS_Rack_Cmd_0x040.Arc = _4;
  # DEBUG BEGIN_STMT
  _5 = data_49(D) + 1;
  _6 = ECU3.TX.CH5_VCU_RWS_Rack_Cmd_0x040.Arc;
  *_5 = _6;
  # DEBUG BEGIN_STMT
  _7 = ECU3.TX.CH5_VCU_RWS_Rack_Cmd_0x040.Arc;
  _8 = (long unsigned int) _7;
  GV_RWS2_040_Arc = _8;
  # DEBUG BEGIN_STMT
  _9 = Proxy_CalChksm_IDB_BrakeEcuStatus_CAN (data_49(D));
  _10 = (unsigned char) _9;
  ECU3.TX.CH5_VCU_RWS_Rack_Cmd_0x040.Crc = _10;
  # DEBUG BEGIN_STMT
  _11 = ECU3.TX.CH5_VCU_RWS_Rack_Cmd_0x040.Crc;
  *data_49(D) = _11;
  # DEBUG BEGIN_STMT
  _12 = ECU3.TX.CH5_VCU_RWS_Rack_Cmd_0x040.Crc;
  _13 = (long unsigned int) _12;
  GV_RWS2_040_Crc = _13;

  <bb 4> :
  # DEBUG BEGIN_STMT
  if (aId_44(D) == 848)
    goto <bb 5>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 5> :
  # DEBUG BEGIN_STMT
  _14 = ECU3.TX.CH5_VCU_RWS_Sister_0x350.Arc;
  _15 = (int) _14;
  _16 = PublicTimer (_15);
  _17 = (unsigned char) _16;
  ECU3.TX.CH5_VCU_RWS_Sister_0x350.Arc = _17;
  # DEBUG BEGIN_STMT
  _18 = data_49(D) + 1;
  _19 = ECU3.TX.CH5_VCU_RWS_Sister_0x350.Arc;
  *_18 = _19;
  # DEBUG BEGIN_STMT
  _20 = ECU3.TX.CH5_VCU_RWS_Sister_0x350.Arc;
  _21 = (long unsigned int) _20;
  GV_RWS2_350_Arc = _21;
  # DEBUG BEGIN_STMT
  _22 = Proxy_CalChksm_IDB_BrakeEcuStatus_CAN (data_49(D));
  _23 = (unsigned char) _22;
  ECU3.TX.CH5_VCU_RWS_Sister_0x350.Crc = _23;
  # DEBUG BEGIN_STMT
  _24 = ECU3.TX.CH5_VCU_RWS_Sister_0x350.Crc;
  *data_49(D) = _24;
  # DEBUG BEGIN_STMT
  _25 = ECU3.TX.CH5_VCU_RWS_Sister_0x350.Crc;
  _26 = (long unsigned int) _25;
  GV_RWS2_350_Crc = _26;

  <bb 6> :
  # DEBUG BEGIN_STMT
  if (aId_44(D) == 784)
    goto <bb 7>; [INV]
  else
    goto <bb 8>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  _27 = ECU3.TX.CH5_VCU_RWS_StartupCommand_0x310.Arc;
  _28 = (int) _27;
  _29 = PublicTimer (_28);
  _30 = (unsigned char) _29;
  ECU3.TX.CH5_VCU_RWS_StartupCommand_0x310.Arc = _30;
  # DEBUG BEGIN_STMT
  _31 = data_49(D) + 1;
  _32 = ECU3.TX.CH5_VCU_RWS_StartupCommand_0x310.Arc;
  *_31 = _32;
  # DEBUG BEGIN_STMT
  _33 = ECU3.TX.CH5_VCU_RWS_StartupCommand_0x310.Arc;
  GV_RWS2_310_Arc = _33;
  # DEBUG BEGIN_STMT
  _34 = Proxy_CalChksm_IDB_BrakeEcuStatus_CAN (data_49(D));
  _35 = (unsigned char) _34;
  ECU3.TX.CH5_VCU_RWS_StartupCommand_0x310.Crc = _35;
  # DEBUG BEGIN_STMT
  _36 = ECU3.TX.CH5_VCU_RWS_StartupCommand_0x310.Crc;
  *data_49(D) = _36;
  # DEBUG BEGIN_STMT
  _37 = ECU3.TX.CH5_VCU_RWS_StartupCommand_0x310.Crc;
  GV_RWS2_310_Crc = _37;

  <bb 8> :
  # DEBUG BEGIN_STMT
  _72 = ret_41;
  return _72;

}


CRC8_Func_FOR_RWS1 (long int aId, int xDatalen, unsigned char * data)
{
  short unsigned int DataId;
  int CrcDlc;
  long unsigned int ret;
  unsigned char _1;
  int _2;
  int _3;
  unsigned char _4;
  unsigned char * _5;
  unsigned char _6;
  unsigned char _7;
  long unsigned int _8;
  long unsigned int _9;
  unsigned char _10;
  unsigned char _11;
  unsigned char _12;
  long unsigned int _13;
  unsigned char _14;
  int _15;
  int _16;
  unsigned char _17;
  unsigned char * _18;
  unsigned char _19;
  unsigned char _20;
  long unsigned int _21;
  unsigned char _22;
  unsigned char _23;
  unsigned char _24;
  unsigned char _25;
  int _26;
  int _27;
  unsigned char _28;
  unsigned char * _29;
  unsigned char _30;
  unsigned char _31;
  long unsigned int _32;
  unsigned char _33;
  unsigned char _34;
  unsigned char _35;
  long unsigned int _70;

  <bb 2> :
  # DEBUG BEGIN_STMT
  ret_39 = 1;
  # DEBUG ret => ret_39
  # DEBUG BEGIN_STMT
  CrcDlc_41 = xDatalen_40(D) + -2;
  # DEBUG CrcDlc => CrcDlc_41
  # DEBUG BEGIN_STMT
  DataId_43 = (short unsigned int) aId_42(D);
  # DEBUG DataId => DataId_43
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (aId_42(D) == 64)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = ECU3.TX.CH3_BSC_RWA_RackCommand_0x040.Arc;
  _2 = (int) _1;
  _3 = PublicTimer (_2);
  _4 = (unsigned char) _3;
  ECU3.TX.CH4_VCU_RWS_Rack_Cmd_0x040.Arc = _4;
  # DEBUG BEGIN_STMT
  _5 = data_47(D) + 1;
  _6 = ECU3.TX.CH4_VCU_RWS_Rack_Cmd_0x040.Arc;
  *_5 = _6;
  # DEBUG BEGIN_STMT
  _7 = ECU3.TX.CH4_VCU_RWS_Rack_Cmd_0x040.Arc;
  _8 = (long unsigned int) _7;
  GV_RWS1_040_Arc = _8;
  # DEBUG BEGIN_STMT
  _9 = Proxy_CalChksm_IDB_BrakeEcuStatus_CAN (data_47(D));
  _10 = (unsigned char) _9;
  ECU3.TX.CH4_VCU_RWS_Rack_Cmd_0x040.Crc = _10;
  # DEBUG BEGIN_STMT
  _11 = ECU3.TX.CH4_VCU_RWS_Rack_Cmd_0x040.Crc;
  *data_47(D) = _11;
  # DEBUG BEGIN_STMT
  _12 = ECU3.TX.CH4_VCU_RWS_Rack_Cmd_0x040.Crc;
  _13 = (long unsigned int) _12;
  GV_RWS1_040_Crc = _13;

  <bb 4> :
  # DEBUG BEGIN_STMT
  if (aId_42(D) == 848)
    goto <bb 5>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 5> :
  # DEBUG BEGIN_STMT
  _14 = ECU3.TX.CH4_VCU_RWS_Sister_0x350.Arc;
  _15 = (int) _14;
  _16 = PublicTimer (_15);
  _17 = (unsigned char) _16;
  ECU3.TX.CH4_VCU_RWS_Sister_0x350.Arc = _17;
  # DEBUG BEGIN_STMT
  _18 = data_47(D) + 1;
  _19 = ECU3.TX.CH4_VCU_RWS_Sister_0x350.Arc;
  *_18 = _19;
  # DEBUG BEGIN_STMT
  _20 = ECU3.TX.CH4_VCU_RWS_Sister_0x350.Arc;
  GV_RWS1_350_Arc = _20;
  # DEBUG BEGIN_STMT
  _21 = Proxy_CalChksm_IDB_BrakeEcuStatus_CAN (data_47(D));
  _22 = (unsigned char) _21;
  ECU3.TX.CH4_VCU_RWS_Sister_0x350.Crc = _22;
  # DEBUG BEGIN_STMT
  _23 = ECU3.TX.CH4_VCU_RWS_Sister_0x350.Crc;
  *data_47(D) = _23;
  # DEBUG BEGIN_STMT
  _24 = ECU3.TX.CH4_VCU_RWS_Sister_0x350.Crc;
  GV_RWS1_350_Crc = _24;

  <bb 6> :
  # DEBUG BEGIN_STMT
  if (aId_42(D) == 784)
    goto <bb 7>; [INV]
  else
    goto <bb 8>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  _25 = ECU3.TX.CH4_VCU_RWS_StartupCommand_0x310.Arc;
  _26 = (int) _25;
  _27 = PublicTimer (_26);
  _28 = (unsigned char) _27;
  ECU3.TX.CH4_VCU_RWS_StartupCommand_0x310.Arc = _28;
  # DEBUG BEGIN_STMT
  _29 = data_47(D) + 1;
  _30 = ECU3.TX.CH4_VCU_RWS_StartupCommand_0x310.Arc;
  *_29 = _30;
  # DEBUG BEGIN_STMT
  _31 = ECU3.TX.CH4_VCU_RWS_StartupCommand_0x310.Arc;
  GV_RWS1_310_Arc = _31;
  # DEBUG BEGIN_STMT
  _32 = Proxy_CalChksm_IDB_BrakeEcuStatus_CAN (data_47(D));
  _33 = (unsigned char) _32;
  ECU3.TX.CH4_VCU_RWS_StartupCommand_0x310.Crc = _33;
  # DEBUG BEGIN_STMT
  _34 = ECU3.TX.CH4_VCU_RWS_StartupCommand_0x310.Crc;
  *data_47(D) = _34;
  # DEBUG BEGIN_STMT
  _35 = ECU3.TX.CH4_VCU_RWS_StartupCommand_0x310.Crc;
  GV_RWS1_310_Crc = _35;

  <bb 8> :
  # DEBUG BEGIN_STMT
  _70 = ret_39;
  return _70;

}


CRC8_Func_FOR_RWA2 (long int aId, int xDatalen, unsigned char * data)
{
  short unsigned int DataId;
  int CrcDlc;
  long unsigned int ret;
  unsigned char _1;
  int _2;
  int _3;
  unsigned char _4;
  unsigned char * _5;
  unsigned char _6;
  unsigned char _7;
  long unsigned int _8;
  long unsigned int _9;
  unsigned char _10;
  unsigned char _11;
  unsigned char _12;
  long unsigned int _13;
  unsigned char _14;
  int _15;
  int _16;
  unsigned char _17;
  unsigned char * _18;
  unsigned char _19;
  unsigned char _20;
  long unsigned int _21;
  long unsigned int _22;
  unsigned char _23;
  unsigned char _24;
  unsigned char _25;
  long unsigned int _26;
  unsigned char _27;
  int _28;
  int _29;
  unsigned char _30;
  unsigned char * _31;
  unsigned char _32;
  unsigned char _33;
  long unsigned int _34;
  unsigned char _35;
  unsigned char _36;
  unsigned char _37;
  long unsigned int _72;

  <bb 2> :
  # DEBUG BEGIN_STMT
  ret_41 = 1;
  # DEBUG ret => ret_41
  # DEBUG BEGIN_STMT
  CrcDlc_43 = xDatalen_42(D) + -2;
  # DEBUG CrcDlc => CrcDlc_43
  # DEBUG BEGIN_STMT
  DataId_45 = (short unsigned int) aId_44(D);
  # DEBUG DataId => DataId_45
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (aId_44(D) == 64)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = ECU3.TX.CH3_BSC_RWA_RackCommand_0x040.Arc;
  _2 = (int) _1;
  _3 = PublicTimer (_2);
  _4 = (unsigned char) _3;
  ECU3.TX.CH3_BSC_RWA_RackCommand_0x040.Arc = _4;
  # DEBUG BEGIN_STMT
  _5 = data_49(D) + 1;
  _6 = ECU3.TX.CH3_BSC_RWA_RackCommand_0x040.Arc;
  *_5 = _6;
  # DEBUG BEGIN_STMT
  _7 = ECU3.TX.CH3_BSC_RWA_RackCommand_0x040.Arc;
  _8 = (long unsigned int) _7;
  GV_RWA2_040_Arc = _8;
  # DEBUG BEGIN_STMT
  _9 = Proxy_CalChksm_IDB_BrakeEcuStatus_CAN (data_49(D));
  _10 = (unsigned char) _9;
  ECU3.TX.CH3_BSC_RWA_RackCommand_0x040.Crc = _10;
  # DEBUG BEGIN_STMT
  _11 = ECU3.TX.CH3_BSC_RWA_RackCommand_0x040.Crc;
  *data_49(D) = _11;
  # DEBUG BEGIN_STMT
  _12 = ECU3.TX.CH3_BSC_RWA_RackCommand_0x040.Crc;
  _13 = (long unsigned int) _12;
  GV_RWA2_040_Crc = _13;

  <bb 4> :
  # DEBUG BEGIN_STMT
  if (aId_44(D) == 848)
    goto <bb 5>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 5> :
  # DEBUG BEGIN_STMT
  _14 = ECU3.TX.CH3_BSC_RWA_Sister_0x350.Arc;
  _15 = (int) _14;
  _16 = PublicTimer (_15);
  _17 = (unsigned char) _16;
  ECU3.TX.CH3_BSC_RWA_Sister_0x350.Arc = _17;
  # DEBUG BEGIN_STMT
  _18 = data_49(D) + 1;
  _19 = ECU3.TX.CH3_BSC_RWA_Sister_0x350.Arc;
  *_18 = _19;
  # DEBUG BEGIN_STMT
  _20 = ECU3.TX.CH3_BSC_RWA_Sister_0x350.Arc;
  _21 = (long unsigned int) _20;
  GV_RWA2_350_Arc = _21;
  # DEBUG BEGIN_STMT
  _22 = Proxy_CalChksm_IDB_BrakeEcuStatus_CAN (data_49(D));
  _23 = (unsigned char) _22;
  ECU3.TX.CH3_BSC_RWA_Sister_0x350.Crc = _23;
  # DEBUG BEGIN_STMT
  _24 = ECU3.TX.CH3_BSC_RWA_Sister_0x350.Crc;
  *data_49(D) = _24;
  # DEBUG BEGIN_STMT
  _25 = ECU3.TX.CH3_BSC_RWA_Sister_0x350.Crc;
  _26 = (long unsigned int) _25;
  GV_RWA2_350_Crc = _26;

  <bb 6> :
  # DEBUG BEGIN_STMT
  if (aId_44(D) == 784)
    goto <bb 7>; [INV]
  else
    goto <bb 8>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  _27 = ECU3.TX.CH3_BSC_RWA_StartupCommand_0x310.Arc;
  _28 = (int) _27;
  _29 = PublicTimer (_28);
  _30 = (unsigned char) _29;
  ECU3.TX.CH3_BSC_RWA_StartupCommand_0x310.Arc = _30;
  # DEBUG BEGIN_STMT
  _31 = data_49(D) + 1;
  _32 = ECU3.TX.CH3_BSC_RWA_StartupCommand_0x310.Arc;
  *_31 = _32;
  # DEBUG BEGIN_STMT
  _33 = ECU3.TX.CH3_BSC_RWA_StartupCommand_0x310.Arc;
  GV_RWA2_310_Arc = _33;
  # DEBUG BEGIN_STMT
  _34 = Proxy_CalChksm_IDB_BrakeEcuStatus_CAN (data_49(D));
  _35 = (unsigned char) _34;
  ECU3.TX.CH3_BSC_RWA_StartupCommand_0x310.Crc = _35;
  # DEBUG BEGIN_STMT
  _36 = ECU3.TX.CH3_BSC_RWA_StartupCommand_0x310.Crc;
  *data_49(D) = _36;
  # DEBUG BEGIN_STMT
  _37 = ECU3.TX.CH3_BSC_RWA_StartupCommand_0x310.Crc;
  GV_RWA2_310_Crc = _37;

  <bb 8> :
  # DEBUG BEGIN_STMT
  _72 = ret_41;
  return _72;

}


CRC8_Func_FOR_RWA1 (long int aId, int xDatalen, unsigned char * data)
{
  short unsigned int DataId;
  int CrcDlc;
  long unsigned int ret;
  unsigned char _1;
  int _2;
  int _3;
  unsigned char _4;
  unsigned char * _5;
  unsigned char _6;
  unsigned char _7;
  long unsigned int _8;
  unsigned char _9;
  unsigned char _10;
  unsigned char _11;
  unsigned char _12;
  int _13;
  int _14;
  unsigned char _15;
  unsigned char * _16;
  unsigned char _17;
  unsigned char _18;
  long unsigned int _19;
  long unsigned int _20;
  unsigned char _21;
  unsigned char _22;
  unsigned char _23;
  long unsigned int _24;
  unsigned char _25;
  int _26;
  int _27;
  unsigned char _28;
  unsigned char * _29;
  unsigned char _30;
  unsigned char _31;
  long unsigned int _32;
  long unsigned int _33;
  unsigned char _34;
  unsigned char _35;
  unsigned char _36;
  long unsigned int _37;
  long unsigned int _72;

  <bb 2> :
  # DEBUG BEGIN_STMT
  ret_41 = 1;
  # DEBUG ret => ret_41
  # DEBUG BEGIN_STMT
  CrcDlc_43 = xDatalen_42(D) + -2;
  # DEBUG CrcDlc => CrcDlc_43
  # DEBUG BEGIN_STMT
  DataId_45 = (short unsigned int) aId_44(D);
  # DEBUG DataId => DataId_45
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (aId_44(D) == 784)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = ECU3.TX.CH2_BSC_RWA_StartupCommand_0x310.Arc;
  _2 = (int) _1;
  _3 = PublicTimer (_2);
  _4 = (unsigned char) _3;
  ECU3.TX.CH2_BSC_RWA_StartupCommand_0x310.Arc = _4;
  # DEBUG BEGIN_STMT
  _5 = data_49(D) + 1;
  _6 = ECU3.TX.CH2_BSC_RWA_StartupCommand_0x310.Arc;
  *_5 = _6;
  # DEBUG BEGIN_STMT
  _7 = ECU3.TX.CH2_BSC_RWA_StartupCommand_0x310.Arc;
  GV_RWA_310_Arc = _7;
  # DEBUG BEGIN_STMT
  _8 = Proxy_CalChksm_IDB_BrakeEcuStatus_CAN (data_49(D));
  _9 = (unsigned char) _8;
  ECU3.TX.CH2_BSC_RWA_StartupCommand_0x310.Crc = _9;
  # DEBUG BEGIN_STMT
  _10 = ECU3.TX.CH2_BSC_RWA_StartupCommand_0x310.Crc;
  *data_49(D) = _10;
  # DEBUG BEGIN_STMT
  _11 = ECU3.TX.CH2_BSC_RWA_StartupCommand_0x310.Crc;
  GV_RWA_310_Crc = _11;

  <bb 4> :
  # DEBUG BEGIN_STMT
  if (aId_44(D) == 64)
    goto <bb 5>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 5> :
  # DEBUG BEGIN_STMT
  _12 = ECU3.TX.CH2_BSC_RWA_RackCommand_0x040.Arc;
  _13 = (int) _12;
  _14 = PublicTimer (_13);
  _15 = (unsigned char) _14;
  ECU3.TX.CH2_BSC_RWA_RackCommand_0x040.Arc = _15;
  # DEBUG BEGIN_STMT
  _16 = data_49(D) + 1;
  _17 = ECU3.TX.CH2_BSC_RWA_RackCommand_0x040.Arc;
  *_16 = _17;
  # DEBUG BEGIN_STMT
  _18 = ECU3.TX.CH2_BSC_RWA_RackCommand_0x040.Arc;
  _19 = (long unsigned int) _18;
  GV_RWA_040_Arc = _19;
  # DEBUG BEGIN_STMT
  _20 = Proxy_CalChksm_IDB_BrakeEcuStatus_CAN (data_49(D));
  _21 = (unsigned char) _20;
  ECU3.TX.CH2_BSC_RWA_RackCommand_0x040.Crc = _21;
  # DEBUG BEGIN_STMT
  _22 = ECU3.TX.CH2_BSC_RWA_RackCommand_0x040.Crc;
  *data_49(D) = _22;
  # DEBUG BEGIN_STMT
  _23 = ECU3.TX.CH2_BSC_RWA_RackCommand_0x040.Crc;
  _24 = (long unsigned int) _23;
  GV_RWA_040_Crc = _24;

  <bb 6> :
  # DEBUG BEGIN_STMT
  if (aId_44(D) == 848)
    goto <bb 7>; [INV]
  else
    goto <bb 8>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  _25 = ECU3.TX.CH2_BSC_RWA_Sister_0x350.Arc;
  _26 = (int) _25;
  _27 = PublicTimer (_26);
  _28 = (unsigned char) _27;
  ECU3.TX.CH2_BSC_RWA_Sister_0x350.Arc = _28;
  # DEBUG BEGIN_STMT
  _29 = data_49(D) + 1;
  _30 = ECU3.TX.CH2_BSC_RWA_Sister_0x350.Arc;
  *_29 = _30;
  # DEBUG BEGIN_STMT
  _31 = ECU3.TX.CH2_BSC_RWA_Sister_0x350.Arc;
  _32 = (long unsigned int) _31;
  GV_RWA_350_Arc = _32;
  # DEBUG BEGIN_STMT
  _33 = Proxy_CalChksm_IDB_BrakeEcuStatus_CAN (data_49(D));
  _34 = (unsigned char) _33;
  ECU3.TX.CH2_BSC_RWA_Sister_0x350.Crc = _34;
  # DEBUG BEGIN_STMT
  _35 = ECU3.TX.CH2_BSC_RWA_Sister_0x350.Crc;
  *data_49(D) = _35;
  # DEBUG BEGIN_STMT
  _36 = ECU3.TX.CH2_BSC_RWA_Sister_0x350.Crc;
  _37 = (long unsigned int) _36;
  GV_RWA_350_Crc = _37;

  <bb 8> :
  # DEBUG BEGIN_STMT
  _72 = ret_41;
  return _72;

}


Proxy_CalChksm_IDB_BrakeEcuStatus_CAN (unsigned char * data)
{
  uint8_t CalcChecksum;
  unsigned char * _1;
  long unsigned int _2;
  long unsigned int _7;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = data_3(D) + 1;
  _2 = crclib_getCRC8 (_1, 7);
  CalcChecksum_6 = (uint8_t) _2;
  # DEBUG CalcChecksum => CalcChecksum_6
  # DEBUG BEGIN_STMT
  _7 = (long unsigned int) CalcChecksum_6;
  return _7;

}


crclib_getCRC8 (const uint8_t * xData, uint16_t xDatalen)
{
  uint8_t crc;
  uint8_t idx;
  sizetype _1;
  const uint8_t * _2;
  unsigned char _3;
  unsigned char _4;
  int _5;
  unsigned char idx.0_6;
  short unsigned int _7;
  long unsigned int _14;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  crc_10 = 255;
  # DEBUG crc => crc_10
  # DEBUG BEGIN_STMT
  idx_11 = 0;
  # DEBUG idx => idx_11
  goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = (sizetype) idx_8;
  _2 = xData_16(D) + _1;
  _3 = *_2;
  _4 = crc_9 ^ _3;
  _5 = (int) _4;
  crc_17 = CRC8_J1850_TABLE[_5];
  # DEBUG crc => crc_17
  # DEBUG BEGIN_STMT
  idx.0_6 = idx_8;
  idx_18 = idx.0_6 + 1;
  # DEBUG idx => idx_18

  <bb 4> :
  # idx_8 = PHI <idx_11(2), idx_18(3)>
  # crc_9 = PHI <crc_10(2), crc_17(3)>
  # DEBUG crc => crc_9
  # DEBUG idx => idx_8
  # DEBUG BEGIN_STMT
  _7 = (short unsigned int) idx_8;
  if (xDatalen_12(D) > _7)
    goto <bb 3>; [INV]
  else
    goto <bb 5>; [INV]

  <bb 5> :
  # DEBUG BEGIN_STMT
  crc_13 = ~crc_9;
  # DEBUG crc => crc_13
  # DEBUG BEGIN_STMT
  _14 = (long unsigned int) crc_13;
  return _14;

}


PublicTimer (int b)
{
  int _5;

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

  <bb 3> :
  # DEBUG BEGIN_STMT
  b_4 = b_2(D) + 1;
  # DEBUG b => b_4
  goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  b_3 = 0;
  # DEBUG b => b_3

  <bb 5> :
  # b_1 = PHI <b_4(3), b_3(4)>
  # DEBUG b => b_1
  # DEBUG BEGIN_STMT
  _5 = b_1;
  return _5;

}