fun F8_dest(var inst : InstOp, i0) {
    val ii = i0?ext(32)&(~1) | (i0?bit(0)?ext(32)<<5);
    F4_dest(inst,ii); F4_dest(inst,ii+1);
}