<mgaudet> jorendorff: so |script->code() <= pc <= script->CodeEnd()| is the expected invariant you're saying? <jorendorff> (ignores feeling of doom) Yes.