20859 goto ldv_40588;
20860 } else
20861#line 3873
20862 if (ldv_s_ppp_device_fops_file_operations != 0) {
20863#line 3875
20864 goto ldv_40588;
20865 } else {
20866#line 3877
20867 goto ldv_40590;
20868 }
20869 ldv_40590: ;
20870 ldv_module_exit:
20871 {
20872#line 4835
20873 ppp_cleanup();
20874 }
20875 ldv_final:
20876 {
20877#line 4838
20878 ldv_check_final_state();
20879 }
20880#line 4841
20881 return;
20882}
20883}
20884#line 5 "/anthill/stuff/tacas-comp/work/current--X--drivers/net/ppp_generic.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"
20885void ldv_blast_assert(void)
20886{
20887
20888 {
20889 ERROR: ;
20890#line 6
20891 goto ERROR;
20892}
20893}
20894#line 6 "/anthill/stuff/tacas-comp/work/current--X--drivers/net/ppp_generic.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"
20895extern int ldv_undefined_int(void) ;
20896#line 4858 "/anthill/stuff/tacas-comp/work/current--X--drivers/net/ppp_generic.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/ppp_generic.c.p"
20897int ldv_module_refcounter = 1;
20898#line 4861 "/anthill/stuff/tacas-comp/work/current--X--drivers/net/ppp_generic.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/ppp_generic.c.p"
20899void ldv_module_get(struct module *module )