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