update for addition of NUM_OF_INT to int_compset