fun M4(
a
,
vv
) {
system
?memory(4,
a
)
=
vv
?cast(unsigned[_])
?bits(
32
)
; }