code: function (token) {
    var codePoints = token.cp;
    var str = '';
    for (var i = 0; i < codePoints.length; i++)
      str += codePointToString(codePoints[i]);
    return HTML.CharRef({ html: token.v, str: str });
  }
docs: Input: A token like `{ t: 'CharRef', v: '&amp;', cp: [38] }`.  Output: A tag like `HTML.CharRef({ html: '&amp;', str: '&' })`.