let Modifiers =
      { doBenchmark : Bool
      , doCheck : Bool
      , doJailbreak : Bool
      , enableProfiling : Bool
      , includeBenchmarks : Bool
      , includeExecutables : Bool
      , includeTests : Bool
      }

in  Modifiers