void ds_fini(void) 
static void ds_fini(void) 
void ds_fini(void){	usb_deregister(&ds_driver);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/8949d2aa05ddf5e9a31d738568a79915970cb38e/dscore.c/clean/drivers/w1/dscore.c