DBF_TEXT(setup, 3, __FUNCTION__); 
ctc_exit(void){	unregister_cu3088_discipline(&ctc_group_driver);	ctc_tty_cleanup();	ctc_unregister_dbf_views();	ctc_pr_info("CTC driver unloaded\n");}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/7394c928c849fe2ea5c20b6d73cbe7f220810d94/ctcmain.c/buggy/drivers/s390/net/ctcmain.c