Type pop2() {
            if (debugCode) System.err.println("   popping " + 2);
            stacksize -= 2;
            Type result = stack[stacksize];
            stack[stacksize] = null;
            assert stack[stacksize+1] == null;
            assert result != null && width(result) == 2;
            return result;
        }