The following two lists describe the registers of the virtual machine AVIM and the machine instructions that can be executed by AVIM.
