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