15.6.2.2250
STATE
 
TOOLS EXT
 
( -- a-addr )

Extend the semantics of 6.1.2250 STATE to allow ;CODE to change the value in STATE. A program shall not directly alter the contents of STATE.