definitions for INT/JMP/CALL, implements END. This closes #3.