let _ =
  MatitacLib.main `COMPILER