fun M1s(a) { return system?memory(1,a)?sext(64); }