const column_width_getterinfo: JSJitInfo;