char vbuf[] = "$Revision: 1.63 $"; 
char vbuf[] = "$Revision: 1.66 $"; 
netiucv_banner(void){	char vbuf[] = "$Revision: 1.63 $";	char *version = vbuf;	if ((version = strchr(version, ':'))) {		char *p = strchr(version + 1, '$');		if (p)			*p = '\0';	} else		version = " ??? ";	PRINT_INFO("NETIUCV driver Version%s initialized\n", version);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/66a464dbc8e0345b6f972b92bf1118e043d7c987/netiucv.c/buggy/drivers/s390/net/netiucv.c