let model_name m = match m with
  | M0 -> M0.model_name 
  | M1 -> M1.model_name
  | M2 -> M2.model_name
  | M3 -> M3.model_name