13202 goto ldv_31134;
13203 } else
13204#line 2068
13205 if (ldv_s_lo_fops_block_device_operations != 0) {
13206#line 2070
13207 goto ldv_31134;
13208 } else {
13209#line 2072
13210 goto ldv_31136;
13211 }
13212 ldv_31136: ;
13213 ldv_module_exit:
13214 {
13215#line 2338
13216 loop_exit();
13217 }
13218 ldv_final:
13219 {
13220#line 2345
13221 ldv_check_final_state();
13222 }
13223#line 2348
13224 return;
13225}
13226}
13227#line 5 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/loop.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/kernel-rules/files/engine-blast-assert.h"
13228void ldv_blast_assert(void)
13229{
13230
13231 {
13232 ERROR: ;
13233#line 6
13234 goto ERROR;
13235}
13236}
13237#line 6 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/loop.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/kernel-rules/files/engine-blast.h"
13238extern int ldv_undefined_int(void) ;
13239#line 2365 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/loop.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/loop.c.p"
13240int ldv_module_refcounter = 1;
13241#line 2368 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/loop.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/loop.c.p"
13242void ldv_module_get(struct module *module )