public int entryPoint(State state, Type pushed) {
        int pc = curPc();
        alive = true;
        this.state = state.dup();
        Assert.check(state.stacksize <= max_stack);
        this.state.push(pushed);
        if (debugCode) System.err.println("entry point " + state);
        pendingStackMap = needStackMap;
        return pc;
    }