class_destroy(class3270); 
raw3270_exit(void){	ccw_driver_unregister(&raw3270_ccw_driver);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/ed3cb6f039bb296457bfd2877cba6ad0287d8d54/raw3270.c/clean/drivers/s390/char/raw3270.c