fun
f4_src(
ii
) {
return
rmap_read
(
inst
.
srcq
[
+
ii
]
,
inum
)
?bits(
32
)
?cast(float)
; }