const opener_getterinfo: JSJitInfo;