fun M2(a,vv) { system?memory(2,a) = vv?cast(unsigned[_])?bits(16); }