const devicePixelRatio_setterinfo: JSJitInfo;