void DriveAllBGs_reset_Internal_Tests(void)
{
  /* 1 */
  Amsterdam_Utrecht_Lijn1_b_reset_AmsterdamUtrechtL2_AmsterdamUtrechtTrack1(
    &Ctxt_DriveAllBGs_Internal_Tests._1_Context_1);
  /* 1 */
  TriggerAllBalisesInSequence_reset_Internal_Tests(
    &Ctxt_DriveAllBGs_Internal_Tests.Context_1);
}
void Amsterdam_Utrecht_reset_US_Integration_June(void)
{
  /* 1 */
  CASTLIB_BaliseHeaders_reset_TM_conversions(
    &Ctxt_Amsterdam_Utrecht_US_Integration_June._2_Context_1);
  /* 1 */
  Amsterdam_Utrecht_RBC_Int_reset_US_Integration_June(
    &Ctxt_Amsterdam_Utrecht_US_Integration_June._1_Context_1);
  /* 1 */
  Amsterdam_Utrecht_Lijn1_b_reset_AmsterdamUtrechtL2_AmsterdamUtrechtTrack1(
    &Ctxt_Amsterdam_Utrecht_US_Integration_June.Context_1);
}