Make stack management of opcodes explicit