num1              480 src/entry.c    	int i, num1, num2, num3;
num1              487 src/entry.c    		num1 = low;
num1              494 src/entry.c    		ch = get_number(&num1, low, names, ch, file, ",- \t\n");
num1              501 src/entry.c    			if (EOF == set_element(bits, low, high, num1)) {
num1              517 src/entry.c    			if (ch == EOF || num1 > num2)
num1              551 src/entry.c    	for (i = num1; i <= num2; i += num3)