_oldStack = _stack;
_oldInstructions = _instructions;
_oldLocals = _locals;
_locals = st.gravel.support.jvm.DictionaryExtensions.copy(_oldLocals);
_instructions = new java.util.ArrayList();
_stack = _oldStack.copy();
_aBlock.value();
_frame = Frame.factory.instructions_endStack_(_instructions.toArray(new JVMInstruction[_instructions.size()]), _stack);
_stack = _oldStack;
_instructions = _oldInstructions;
_locals = _oldLocals;