const max_width_setterinfo: JSJitInfo;