let
shortname =
"dominators"