code: function addAttribute(name,value) {
      // Make sure there isn't already an attribute with this name
      // If there is, ignore this one.
      for(var i = 0; i < attributes.length; i++) {
        if (attributes[i][0] === name) return;
      }
  
      if (value !== undefined) {
        attributes.push([name, value]);
      }
      else {
        attributes.push([name]);
      }
    }
docs: *
  Tokenizer utility functions