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