fun F4_src(
var inst : InstOp
,
ii
) {
inst
.
srcq
?
push_back
(
rmap_src
(
3
,
ii
)
); }