added two new useful functions to util/int-array.h