Support for recursive interpretation
New opcodes