[para]
This part of the machine's state is used and modified by the
instructions defined in the section [sectref [vset INS0]].