let
no_execution_help =
"Do not search for attacks (debug)"