fun M1(
a
,
vv
) {
system
?memory(1,
a
)
=
vv
?cast(unsigned[_])
?bits(
8
)
; }