13.6.2.1795 LOCALS| locals-bar LOCAL EXT

Create up to eight local identifiers by repeatedly skipping leading spaces, parsing name, and executing 13.6.1.0086 (LOCAL). The list of locals to be defined is terminated by | . Append the run-time semantics given below to the current definition.

Initialize up to eight local identifiers as described in 13.6.1.0086 (LOCAL), each of which takes as its initial value the top stack item, removing it from the stack. Identifier name₁ is initialized with x₁, identifier name₂ with x₂, etc. When invoked, each local will return its value. The value of a local may be changed using 6.2.2295 TO.