const oldURL_getterinfo: JSJitInfo;