docs: def my_log_message(verbose, prio, msg):
      """
      Log to syslog, and possibly also to stderr.
      """
      syslog.syslog(prio, msg)
      if verbose or prio == syslog.LOG_ERR:
          sys.stderr.write("%s\n" % (msg))