const opener_setterinfo: JSJitInfo;