int i=0; 
int i, c; 
static int skip_atoi(const char **s){	int i=0;	while (isdigit(**s))		i = i*10 + *((*s)++) - '0';	return i;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/decd300b30e499fe6be1bbfc5650fc971de8c1fa/prom.c/clean/arch/ppc64/boot/prom.c