| SetVoidInstruction |
In read mode, place the contents of heap address S into variable Vn; in write mode, push a new unbound REF cell onto the heap and copy it into Xi. In either mode, increment S by one. Continue execution with the following instruction. |