An Abstract KL1 Machine and Its Instruction Set