1 2 3 4
[para] This part of the machine's state is used and modified by the instructions defined in the sections [sectref [vset INS0]], and [sectref [vset INS1]].