const maxWidth_setterinfo: JSJitInfo;