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