const videoWidth_getterinfo: JSJitInfo;