dvb_usb_device_init(intf,&dibusb1_1_an2235_properties,THIS_MODULE) || 
dvb_usb_device_init(intf,&dibusb1_1_an2235_properties,THIS_MODULE) == 0 || 
static int dibusb_probe(struct usb_interface *intf,		const struct usb_device_id *id){	if (dvb_usb_device_init(intf,&dibusb1_1_properties,THIS_MODULE) == 0 ||		dvb_usb_device_init(intf,&dibusb1_1_an2235_properties,THIS_MODULE) ||		dvb_usb_device_init(intf,&dibusb2_0b_properties,THIS_MODULE) == 0)		return 0;	return -EINVAL;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/f756ead1366092b73467fe3b1fb23f61034e94f9/dibusb-mb.c/buggy/drivers/media/dvb/dvb-usb/dibusb-mb.c