const width_setterinfo: JSJitInfo;