if (i.getType() != type) throw new VerifyError("Expected:" + Integer.toString(type) + " Actual:" + Integer.toString(i.getType()));
    Item pop(int type) {        //        if (tos == 0) {        //            // the item requested in not on the virtual stack        //            // but already on the operand stack (it was pushed        //            // outside the current basic block)        //            // thus create a new stack item        //            Item it = createStack(type);        //            if (checkOperandStack) {        //                // insert at the begin of stack        //                // even if the vstack is empty, there        //                // may still be items popped from vstack        //                // that are not popped from operand stack        //                prependToOperandStack(it);        //            }        //            return it;        //            // pushStack(type);        //        }        tos--;        Item i = stack[tos];        stack[tos] = null;        if (i.getType() != type)            throw new VerifyError("Expected:" + Integer.toString(type)                    + " Actual:" + Integer.toString(i.getType()));        return i;    }