const defaultPlaybackRate_setterinfo: JSJitInfo;