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