let option_name = "-no-results-function"