void MoRC_registeringToTheRadioNetwork_reset(
  MoRC_outC_registeringToTheRadioNetwork *outC)
{
  outC->init = kcg_true;
  /* 1 */ MoRC_radioNetworkMobile_reset(&outC->Context_1);
  /* 4 */ MoRC_RisingEdge_reset_digital(&outC->Context_4);
  /* 2 */ MoRC_RisingEdge_reset_digital(&outC->Context_2);
  /* 3 */ MoRC_RisingEdge_reset_digital(&outC->Context_3);
}
void MoRC_managementOfRadioCommunication_reset(
  MoRC_outC_managementOfRadioCommunication *outC)
{
  outC->init = kcg_true;
  /* 1 */ MoRC_Initiate_a_Session_reset(&outC->Context_1);
  /* 1 */ MoRC_safeRadioConnectionIndication_reset(&outC->_1_Context_1);
  /* 3 */ MoRC_RisingEdge_reset_digital(&outC->Context_3);
  /* 2 */ MoRC_FallingEdge_reset_digital(&outC->Context_2);
  /* 2 */ MoRC_RisingEdge_reset_digital(&outC->_2_Context_2);
  /* 2 */ MoRC_initiateTerminatingASession_reset(&outC->_3_Context_2);
  /* 1 */ MoRC_FallingEdge_reset_digital(&outC->_4_Context_1);
  /* 1 */ MoRC_registeringToTheRadioNetwork_reset(&outC->_5_Context_1);
  /* 1 */ MoRC_maintaining_a_CommunicationSession_reset(&outC->_6_Context_1);
  /* 1 */ MoRC_terminating_a_CommunicationSession_reset(&outC->_7_Context_1);
  /* 2 */ MoRC_establish_a_CommunicationSession_reset(&outC->_8_Context_2);
  /* 1 */ MoRC_terminateAndEstablishSession_reset(&outC->_9_Context_1);
}