code: def report_hit_filename(zipfilename: str, contentsfilename: str,
                          show_inner_file: bool) -> None:
      
      if show_inner_file:
          print("{} [{}]".format(zipfilename, contentsfilename))
      else:
          print(zipfilename)
docs: For "hits": prints either the ``.zip`` filename, or the ``.zip`` filename
      and the inner filename.
  
      Args:
          zipfilename: filename of the ``.zip`` file
          contentsfilename: filename of the inner file
          show_inner_file: if ``True``, show both; if ``False``, show just the
              ``.zip`` filename
  
      Returns: