code: function txt(text) {
          var name = '"' + text.replace(/"/gm, '\\"') + '"';
          return new Pattern(name, function (str, pos) {
              if (str.substr(pos, text.length) == text)
                  return { res: text, end: pos + text.length };
          });
      }
docs: parses a known text