module altsteps {
//altstep skeleton without parameters
altstep a_sample () 
	runs on R3Comp {
}

//altstep with full body, multiple parameters, with passing modes and a runs on clause

altstep a_sample2 ( template R3Msg p_radiusAccntReq, inout template R3Msg p_radiusAccntRsp ) 
	runs on R3Comp {

		[]	r3Port.receive ( m_r3MonitorInd ( p_radiusAccntReq ) ) {
      		v_ret := e_success;
    	}
    	[] r3Port.receive ( m_r3MonitorInd ( 
                          e_RadiusAccountingRequest,
                          p_radiusAccntReq ) ) {
      		v_ret := e_success;
    	}
 }


//altstep skeleton with a single parameter
altstep a_sample1 (template R3Msg p_radiusAccntReq) {
}	
}