        State::Init     : accept_request_comb();
<em class="lineno">5: </em>            <b>State::WaitReady: if slave_saved.is_amo {</b>
<em class="lineno">6: </em>            <b>    case slave_saved.amoop {</b>
<em class="lineno">7: </em>            <b>        AMOOp::LR: assign_master(slave_saved.addr, 0, 0, 0);</b>
<em class="lineno">8: </em>            <b>        default  : {}</b>
<em class="lineno">9: </em>            <b>    }</b>
<em class="lineno">10: </em>            <b>} else {</b>
<em class="lineno