I seem to recall that when IntInf_init got first done that it was given both the array and a size, and that I later converted it to take a NULL-terminated array, so that may be where the bug came from.