let
option_name =
"-no-results-function"