const column_width_setterinfo: JSJitInfo;