tbldiff
mindiff = tbldiff(state, minprot,
mindiff = tbldiff(state, minprot,
d = tbldiff(state, i, extrct[1 - extptr]);
int tbldiff PROTO((int[], int, int[]));
numdiff = tbldiff(state, firstprot, tmp);