docs: function Report_dump() {
    var maxKeyLen = this.maxKeyLen
    console.log("-------------------------------------------------------")
    this.lines.forEach(function(line){
      var val = line.val
      if (typeof val == "number") val = numberWithCommas(val)
      console.log(left(line.key + ":", maxKeyLen+1) + " " + val)
    })
  }