/* readInt.c - Reading a string of digits as an integer
*/

#include <stdio.h>

/* s denotes a sequence of decimal digits */
int readInt(char *s) {
    int value = 0;
    for ( ; *s != '\0'; s++)
	value = 10*value + (*s - '0');
    return value;
}

int main()
{
    char a[] = "6234";
    printf("readInt(%s)=%d\n", a, readInt(a));
    return 0;
}