whole_func_string: function complain (message) {
        var pre = dom.createElement('pre')
        pre.setAttribute('style', 'background-color: pink')
        div.appendChild(pre)
        pre.appendChild(dom.createTextNode(message))
      }
func_code_string: function complain (message) {
        var pre = dom.createElement('pre')
        pre.setAttribute('style', 'background-color: pink')
        div.appendChild(pre)
        pre.appendChild(dom.createTextNode(message))
      }
func_documentation_string: ////////////////////////////////////////////////////////////////////////////