let
option_name =
"-no-results"