code: def do_header(self, node):
          
          data = self.extract_text(node)
          self.add_text('\n/*\n %s \n*/\n' % data)
          # If our immediate sibling is a 'description' node then we
          # should comment that out also and remove it from the parent
          # node's children.
          parent = node.parentNode
          idx = parent.childNodes.index(node)
          if len(parent.childNodes) >= idx + 2:
              nd = parent.childNodes[idx + 2]
              if nd.nodeName == 'description':
                  nd = parent.removeChild(nd)
                  self.add_text('\n/*')
                  self.subnode_parse(nd)
                  self.add_text('\n*/\n')
docs: For a user defined section def a header field is present
          which should not be printed as such, so we comment it in the
          output.