let mc_engine_names = [
    Absint"absint" ;
    Armc,   "armc" ;
    Cegar,  "cegar" ;
    Lart,   "lart"
  ]