fun F4_dest(
var inst : InstOp
,
ii
) {
inst
.
destq
?
push_back
(
rmap_dest
(
3
,
ii
)
); }