16113 goto ldv_35570;
16114 } else
16115#line 3670
16116 if (ldv_s_fst_driver_pci_driver != 0) {
16117#line 3673
16118 goto ldv_35570;
16119 } else {
16120#line 3675
16121 goto ldv_35572;
16122 }
16123 ldv_35572: ;
16124 ldv_module_exit:
16125 {
16126#line 4670
16127 fst_cleanup_module();
16128 }
16129 ldv_final:
16130 {
16131#line 4673
16132 ldv_check_final_state();
16133 }
16134#line 4676
16135 return;
16136}
16137}
16138#line 5 "/anthill/stuff/tacas-comp/work/current--X--drivers/net/wan/farsync.ko--X--bulklinux-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"
16139void ldv_blast_assert(void)
16140{
16141
16142 {
16143 ERROR: ;
16144#line 6
16145 goto ERROR;
16146}
16147}
16148#line 6 "/anthill/stuff/tacas-comp/work/current--X--drivers/net/wan/farsync.ko--X--bulklinux-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"
16149extern int ldv_undefined_int(void) ;
16150#line 4693 "/anthill/stuff/tacas-comp/work/current--X--drivers/net/wan/farsync.ko--X--bulklinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/net/wan/farsync.c.p"
16151int ldv_module_refcounter = 1;
16152#line 4696 "/anthill/stuff/tacas-comp/work/current--X--drivers/net/wan/farsync.ko--X--bulklinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/net/wan/farsync.c.p"
16153void ldv_module_get(struct module *module )