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