TINUMMAX
if (allocset(&term->nums, -1, TINUMMAX+1, sizeof(*term->nums)) == -1)
max = TINUMMAX;
for (i = 0; i < TINUMMAX + 1; i++) {