ready_nomiss
if (next_state == ready_nomiss)
else if (curr_state == ready_nomiss)
if (curr_state == ready_nomiss)
if (curr_state == ready_nomiss)
if (curr_state == ready_nomiss && event == dl_replenish_nomiss)
else if (curr_state == ready_nomiss && event == dl_throttle_nomiss)
ready_nomiss,
ready_nomiss,
ready_nomiss,
.initial_state = ready_nomiss,
ready_nomiss,
ready_nomiss,
ready_nomiss,