char ch; input_data.get(ch);
char ch;
input_data.get(ch);
if ('0' <= ch && ch <= '9') /* it was a digit */
{
input_data.unget(); /* oops - didn't want to read it */
int n;
input_data >> n; /* read integer starting with ch */
}
input_data.close();