const devicePixelRatio_getterinfo: JSJitInfo;