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