DA.exit_with_error!(Int32, String) DA.exit_with_error!(String) DA.print_help DA.print_help substring_search