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);}