SYSTEM
SYSTEM.PUT(a: INTEGER; x: any basic type)
mem[a] := x
Other SYSTEM proper procedures: SYSTEM.COPY SYSTEM.GET SYSTEM.LED