code: def header(msg):
      '''Display an header'''
      echo(' '.join((yellow(HEADER), white(safe_unicode(msg)), yellow(HEADER)))f header(msg):
      '''Display an header'''
      echo(' '.join((yellow(HEADER), white(safe_unicode(msg)), yellow(HEADER))))
docs: Display an header