DUAL_EVT_5
dual_fsm(rn, DUAL_EVT_5);
{DUAL_STA_ACTIVE0, DUAL_EVT_5, DUAL_STA_ACTIVE2},
{DUAL_STA_ACTIVE1, DUAL_EVT_5, DUAL_STA_ACTIVE2},