class_simple_destroy(tape_class); 
class_destroy(tape_class); 
static void __exit tape_exit(void){	class_simple_destroy(tape_class);	tape_class = NULL;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/56b2293595b2eb52cc2aa2baf92c6cfa8265f9d5/tape_class.c/buggy/drivers/s390/char/tape_class.c