[
  {"type":"CommentSingle","value":"///|"},
  {"type":"TextWhitespace","value":"\n"},
  {"type":"CommentSingle","value":"/// A point on the screen."},
  {"type":"TextWhitespace","value":"\n"},
  {"type":"CommentPreproc","value":"#valtype"},
  {"type":"TextWhitespace","value":"\n"},
  {"type":"Keyword","value":"pub"},
  {"type":"Punctuation","value":"("},
  {"type":"NameVariable","value":"all"},
  {"type":"Punctuation","value":")"},
  {"type":"TextWhitespace","value":" "},
  {"type":"KeywordDeclaration","value":"struct"},
  {"type":"TextWhitespace","value":" "},
  {"type":"NameClass","value":"Point"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Punctuation","value":"{"},
  {"type":"TextWhitespace","value":"\n  "},
  {"type":"NameVariable","value":"x"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Punctuation","value":":"},
  {"type":"TextWhitespace","value":" "},
  {"type":"NameBuiltin","value":"Int"},
  {"type":"TextWhitespace","value":"\n  "},
  {"type":"NameVariable","value":"y"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Punctuation","value":":"},
  {"type":"TextWhitespace","value":" "},
  {"type":"NameBuiltin","value":"Int"},
  {"type":"TextWhitespace","value":"\n"},
  {"type":"Punctuation","value":"}"},
  {"type":"TextWhitespace","value":" "},
  {"type":"KeywordDeclaration","value":"derive"},
  {"type":"Punctuation","value":"("},
  {"type":"NameBuiltin","value":"Show"},
  {"type":"Punctuation","value":","},
  {"type":"TextWhitespace","value":" "},
  {"type":"NameBuiltin","value":"Eq"},
  {"type":"Punctuation","value":","},
  {"type":"TextWhitespace","value":" "},
  {"type":"NameBuiltin","value":"Compare"},
  {"type":"Punctuation","value":","},
  {"type":"TextWhitespace","value":" "},
  {"type":"NameBuiltin","value":"Hash"},
  {"type":"Punctuation","value":","},
  {"type":"TextWhitespace","value":" "},
  {"type":"NameBuiltin","value":"Default"},
  {"type":"Punctuation","value":")"},
  {"type":"TextWhitespace","value":"\n\n"},
  {"type":"CommentSingle","value":"///|"},
  {"type":"TextWhitespace","value":"\n"},
  {"type":"CommentSingle","value":"/// Shortcut for creating a `Point`."},
  {"type":"TextWhitespace","value":"\n"},
  {"type":"Keyword","value":"pub"},
  {"type":"TextWhitespace","value":" "},
  {"type":"KeywordDeclaration","value":"fn"},
  {"type":"TextWhitespace","value":" "},
  {"type":"NameClass","value":"Point"},
  {"type":"Punctuation","value":"::"},
  {"type":"NameFunction","value":"new"},
  {"type":"Punctuation","value":"("},
  {"type":"NameVariable","value":"x"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Punctuation","value":":"},
  {"type":"TextWhitespace","value":" "},
  {"type":"NameBuiltin","value":"Int"},
  {"type":"Punctuation","value":","},
  {"type":"TextWhitespace","value":" "},
  {"type":"NameVariable","value":"y"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Punctuation","value":":"},
  {"type":"TextWhitespace","value":" "},
  {"type":"NameBuiltin","value":"Int"},
  {"type":"Punctuation","value":")"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Operator","value":"-\u003e"},
  {"type":"TextWhitespace","value":" "},
  {"type":"NameClass","value":"Point"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Punctuation","value":"{"},
  {"type":"TextWhitespace","value":"\n  "},
  {"type":"NameClass","value":"Point"},
  {"type":"Punctuation","value":"::{"},
  {"type":"TextWhitespace","value":" "},
  {"type":"NameVariable","value":"x"},
  {"type":"Punctuation","value":","},
  {"type":"TextWhitespace","value":" "},
  {"type":"NameVariable","value":"y"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Punctuation","value":"}"},
  {"type":"TextWhitespace","value":"\n"},
  {"type":"Punctuation","value":"}"},
  {"type":"TextWhitespace","value":"\n\n"},
  {"type":"CommentSingle","value":"///|"},
  {"type":"TextWhitespace","value":"\n"},
  {"type":"CommentSingle","value":"/// Add together two points."},
  {"type":"TextWhitespace","value":"\n"},
  {"type":"Keyword","value":"pub"},
  {"type":"TextWhitespace","value":" "},
  {"type":"KeywordDeclaration","value":"impl"},
  {"type":"TextWhitespace","value":" "},
  {"type":"NameClass","value":"Add"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Keyword","value":"for"},
  {"type":"TextWhitespace","value":" "},
  {"type":"NameClass","value":"Point"},
  {"type":"TextWhitespace","value":" "},
  {"type":"KeywordDeclaration","value":"with"},
  {"type":"TextWhitespace","value":" "},
  {"type":"NameFunction","value":"add"},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"self"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Punctuation","value":":"},
  {"type":"TextWhitespace","value":" "},
  {"type":"NameClass","value":"Point"},
  {"type":"Punctuation","value":","},
  {"type":"TextWhitespace","value":" "},
  {"type":"NameVariable","value":"other"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Punctuation","value":":"},
  {"type":"TextWhitespace","value":" "},
  {"type":"NameClass","value":"Point"},
  {"type":"Punctuation","value":")"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Operator","value":"-\u003e"},
  {"type":"TextWhitespace","value":" "},
  {"type":"NameClass","value":"Point"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Punctuation","value":"{"},
  {"type":"TextWhitespace","value":"\n  "},
  {"type":"Punctuation","value":"{"},
  {"type":"TextWhitespace","value":" "},
  {"type":"NameVariable","value":"x"},
  {"type":"Punctuation","value":":"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Keyword","value":"self"},
  {"type":"Punctuation","value":"."},
  {"type":"NameVariable","value":"x"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Operator","value":"+"},
  {"type":"TextWhitespace","value":" "},
  {"type":"NameVariable","value":"other"},
  {"type":"Punctuation","value":"."},
  {"type":"NameVariable","value":"x"},
  {"type":"Punctuation","value":","},
  {"type":"TextWhitespace","value":" "},
  {"type":"NameVariable","value":"y"},
  {"type":"Punctuation","value":":"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Keyword","value":"self"},
  {"type":"Punctuation","value":"."},
  {"type":"NameVariable","value":"y"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Operator","value":"+"},
  {"type":"TextWhitespace","value":" "},
  {"type":"NameVariable","value":"other"},
  {"type":"Punctuation","value":"."},
  {"type":"NameVariable","value":"y"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Punctuation","value":"}"},
  {"type":"TextWhitespace","value":"\n"},
  {"type":"Punctuation","value":"}"},
  {"type":"TextWhitespace","value":"\n\n"},
  {"type":"CommentSingle","value":"///|"},
  {"type":"TextWhitespace","value":"\n"},
  {"type":"Keyword","value":"test"},
  {"type":"TextWhitespace","value":" "},
  {"type":"LiteralString","value":"\""},
  {"type":"LiteralStringDouble","value":"Point.add"},
  {"type":"LiteralString","value":"\""},
  {"type":"TextWhitespace","value":" "},
  {"type":"Punctuation","value":"{"},
  {"type":"TextWhitespace","value":"\n  "},
  {"type":"NameFunction","value":"inspect"},
  {"type":"Punctuation","value":"("},
  {"type":"NameClass","value":"Point"},
  {"type":"Punctuation","value":"::"},
  {"type":"NameFunction","value":"new"},
  {"type":"Punctuation","value":"("},
  {"type":"LiteralNumberInteger","value":"20"},
  {"type":"Punctuation","value":","},
  {"type":"TextWhitespace","value":" "},
  {"type":"LiteralNumberInteger","value":"30"},
  {"type":"Punctuation","value":")"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Operator","value":"+"},
  {"type":"TextWhitespace","value":" "},
  {"type":"NameClass","value":"Point"},
  {"type":"Punctuation","value":"::"},
  {"type":"NameFunction","value":"new"},
  {"type":"Punctuation","value":"("},
  {"type":"LiteralNumberInteger","value":"25"},
  {"type":"Punctuation","value":","},
  {"type":"TextWhitespace","value":" "},
  {"type":"LiteralNumberInteger","value":"80"},
  {"type":"Punctuation","value":"),"},
  {"type":"TextWhitespace","value":" "},
  {"type":"NameVariable","value":"content"},
  {"type":"Punctuation","value":"="},
  {"type":"LiteralString","value":"\""},
  {"type":"LiteralStringDouble","value":"{x: 45, y: 110}"},
  {"type":"LiteralString","value":"\""},
  {"type":"Punctuation","value":")"},
  {"type":"TextWhitespace","value":"\n"},
  {"type":"Punctuation","value":"}"},
  {"type":"TextWhitespace","value":"\n\n"},
  {"type":"CommentSingle","value":"///|"},
  {"type":"TextWhitespace","value":"\n"},
  {"type":"Keyword","value":"pub"},
  {"type":"Punctuation","value":"("},
  {"type":"NameVariable","value":"all"},
  {"type":"Punctuation","value":")"},
  {"type":"TextWhitespace","value":" "},
  {"type":"KeywordDeclaration","value":"enum"},
  {"type":"TextWhitespace","value":" "},
  {"type":"NameClass","value":"Color"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Punctuation","value":"{"},
  {"type":"TextWhitespace","value":"\n  "},
  {"type":"NameClass","value":"Red"},
  {"type":"TextWhitespace","value":"\n  "},
  {"type":"NameClass","value":"Green"},
  {"type":"TextWhitespace","value":"\n  "},
  {"type":"NameClass","value":"Blue"},
  {"type":"TextWhitespace","value":"\n"},
  {"type":"Punctuation","value":"}"},
  {"type":"TextWhitespace","value":" "},
  {"type":"KeywordDeclaration","value":"derive"},
  {"type":"Punctuation","value":"("},
  {"type":"NameBuiltin","value":"Show"},
  {"type":"Punctuation","value":","},
  {"type":"TextWhitespace","value":" "},
  {"type":"NameBuiltin","value":"Eq"},
  {"type":"Punctuation","value":","},
  {"type":"TextWhitespace","value":" "},
  {"type":"NameBuiltin","value":"Compare"},
  {"type":"Punctuation","value":","},
  {"type":"TextWhitespace","value":" "},
  {"type":"NameBuiltin","value":"Hash"},
  {"type":"Punctuation","value":")"},
  {"type":"TextWhitespace","value":"\n\n"},
  {"type":"CommentSingle","value":"///|"},
  {"type":"TextWhitespace","value":"\n"},
  {"type":"KeywordDeclaration","value":"fn"},
  {"type":"TextWhitespace","value":" "},
  {"type":"NameVariable","value":"main"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Punctuation","value":"{"},
  {"type":"TextWhitespace","value":"\n  "},
  {"type":"KeywordDeclaration","value":"let"},
  {"type":"TextWhitespace","value":" "},
  {"type":"NameVariable","value":"name"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Punctuation","value":"="},
  {"type":"TextWhitespace","value":" "},
  {"type":"LiteralString","value":"\""},
  {"type":"LiteralStringDouble","value":"World!"},
  {"type":"LiteralString","value":"\""},
  {"type":"TextWhitespace","value":" "},
  {"type":"CommentSingle","value":"// Define a variable"},
  {"type":"TextWhitespace","value":"\n  "},
  {"type":"NameFunction","value":"println"},
  {"type":"Punctuation","value":"("},
  {"type":"LiteralString","value":"\""},
  {"type":"LiteralStringDouble","value":"Hello, "},
  {"type":"LiteralStringEscape","value":"\\{"},
  {"type":"NameVariable","value":"name"},
  {"type":"LiteralStringEscape","value":"}"},
  {"type":"LiteralString","value":"\""},
  {"type":"Punctuation","value":")"},
  {"type":"TextWhitespace","value":" "},
  {"type":"CommentSingle","value":"// and use it directly"},
  {"type":"TextWhitespace","value":"\n  "},
  {"type":"NameFunction","value":"println"},
  {"type":"Punctuation","value":"("},
  {"type":"LiteralString","value":"\""},
  {"type":"LiteralStringDouble","value":"current count:"},
  {"type":"LiteralString","value":"\""},
  {"type":"Punctuation","value":")"},
  {"type":"TextWhitespace","value":"\n  "},
  {"type":"KeywordDeclaration","value":"let"},
  {"type":"TextWhitespace","value":" "},
  {"type":"NameVariable","value":"buf"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Punctuation","value":"="},
  {"type":"TextWhitespace","value":" "},
  {"type":"NameNamespace","value":"@buffer."},
  {"type":"NameFunction","value":"new"},
  {"type":"Punctuation","value":"()"},
  {"type":"TextWhitespace","value":"\n  "},
  {"type":"Keyword","value":"for"},
  {"type":"TextWhitespace","value":" "},
  {"type":"NameVariable","value":"i"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Keyword","value":"in"},
  {"type":"TextWhitespace","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Punctuation","value":".."},
  {"type":"Operator","value":"\u003c"},
  {"type":"LiteralNumberInteger","value":"10"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Punctuation","value":"{"},
  {"type":"TextWhitespace","value":" "},
  {"type":"CommentSingle","value":"// Loop over a range from 1 to 10"},
  {"type":"TextWhitespace","value":"\n    "},
  {"type":"NameVariable","value":"buf"},
  {"type":"Punctuation","value":"."},
  {"type":"NameFunction","value":"write_string"},
  {"type":"Punctuation","value":"("},
  {"type":"LiteralString","value":"\""},
  {"type":"LiteralStringEscape","value":"\\{"},
  {"type":"NameVariable","value":"i"},
  {"type":"LiteralStringEscape","value":"}"},
  {"type":"LiteralStringDouble","value":" "},
  {"type":"LiteralString","value":"\""},
  {"type":"Punctuation","value":")"},
  {"type":"TextWhitespace","value":"\n  "},
  {"type":"Punctuation","value":"}"},
  {"type":"TextWhitespace","value":"\n  "},
  {"type":"NameFunction","value":"println"},
  {"type":"Punctuation","value":"("},
  {"type":"NameVariable","value":"buf"},
  {"type":"Punctuation","value":")"},
  {"type":"TextWhitespace","value":"\n"},
  {"type":"Punctuation","value":"}"},
  {"type":"TextWhitespace","value":"\n"}
]