const documentURI_getterinfo: JSJitInfo;