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