fun R8_dest(var inst : InstOp, i0) {
    val ii = i0?ext(32);
    Rx_dest(inst,ii);
    Rx_dest(inst,ii+1);
}