let add_glob_decls m = match m with | M0 -> Cfg0.add_glob_decls | M1 -> Cfg1.add_glob_decls | M2 -> Cfg2.add_glob_decls | M3 -> Cfg3.add_glob_decls