#ifndef lint static char sccsid[] = "@(#)getnum.c 1.1 (Berkeley) 6/8/88"; #endif not lint #include <stdio.h> getnum() { int c, n; n = 0; while ((c=getchar()) >= '0' && c <= '9') n = n*10 + c - '0'; if (c == EOF) return(-1); return(n); }