char vbuf[] = "$Revision: 1.43 $"; 
char vbuf[] = "$Revision: 1.45 $"; 
iucv_banner(void){	char vbuf[] = "$Revision: 1.43 $";	char *version = vbuf;	if ((version = strchr(version, ':'))) {		char *p = strchr(version + 1, '$');		if (p)			*p = '\0';	} else		version = " ??? ";	printk(KERN_INFO	       "IUCV lowlevel driver Version%s initialized\n", version);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/5e39f2933f6707fc824b5e419dcac8ced67a57b6/iucv.c/buggy/drivers/s390/net/iucv.c