docs: def _pretty_annotation_val(val, cpool):
      """
      a pretty display of a tag and data pair annotation value
      """
  
      tag, data = val
  
      if tag in 'BCDFIJSZs':
          data = "%s#%i" % (tag, data)
  
      elif tag == 'e':
          data = "e#%i.#%i" % data
  
      elif tag == 'c':
          data = "c#%i" % data
  
      elif tag == '@':
          data = "@" + data.pretty_annotation()
  
      elif tag == '[':
          combine = list()
          for val in data:
              combine.append(_pretty_annotation_val(val, cpool))
          data = "[%s]" % ", ".join(combine)
  
      return data