[
  {"type":"CommentSingle","value":"// reverse polish\n"},
  {"type":"TextWhitespace","value":"\n"},
  {"type":"KeywordDeclaration","value":"mtype"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Operator","value":"="},
  {"type":"TextWhitespace","value":" "},
  {"type":"Punctuation","value":"{"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Name","value":"operator"},
  {"type":"Punctuation","value":","},
  {"type":"TextWhitespace","value":" "},
  {"type":"Name","value":"value"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Punctuation","value":"}"},
  {"type":"TextWhitespace","value":"\n\n"},
  {"type":"KeywordDeclaration","value":"chan"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Name","value":"f"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Operator","value":"="},
  {"type":"TextWhitespace","value":" "},
  {"type":"Punctuation","value":"["},
  {"type":"LiteralNumberInteger","value":"12"},
  {"type":"Punctuation","value":"]"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Name","value":"of"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Punctuation","value":"{"},
  {"type":"TextWhitespace","value":" "},
  {"type":"KeywordDeclaration","value":"mtype"},
  {"type":"Punctuation","value":","},
  {"type":"TextWhitespace","value":" "},
  {"type":"KeywordType","value":"int"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Punctuation","value":"}"},
  {"type":"TextWhitespace","value":"\n\n"},
  {"type":"KeywordDeclaration","value":"proctype"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Name","value":"calc"},
  {"type":"Punctuation","value":"("},
  {"type":"KeywordDeclaration","value":"chan"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Name","value":"you"},
  {"type":"Punctuation","value":")"},
  {"type":"TextWhitespace","value":"\n"},
  {"type":"Punctuation","value":"{"},
  {"type":"TextWhitespace","value":"\t"},
  {"type":"KeywordType","value":"int"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Name","value":"s"},
  {"type":"Punctuation","value":","},
  {"type":"TextWhitespace","value":" "},
  {"type":"Name","value":"lft"},
  {"type":"Punctuation","value":","},
  {"type":"TextWhitespace","value":" "},
  {"type":"Name","value":"rgt"},
  {"type":"TextWhitespace","value":"\n\t"},
  {"type":"KeywordDeclaration","value":"chan"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Name","value":"me"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Operator","value":"="},
  {"type":"TextWhitespace","value":" "},
  {"type":"Punctuation","value":"["},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Punctuation","value":"]"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Name","value":"of"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Punctuation","value":"{"},
  {"type":"TextWhitespace","value":" "},
  {"type":"KeywordType","value":"int"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Punctuation","value":"}"},
  {"type":"TextWhitespace","value":"\n\n\t"},
  {"type":"Keyword","value":"if"},
  {"type":"TextWhitespace","value":"\n\t"},
  {"type":"Operator","value":"::"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Name","value":"f"},
  {"type":"Operator","value":"?"},
  {"type":"Name","value":"operator"},
  {"type":"Punctuation","value":"("},
  {"type":"Name","value":"s"},
  {"type":"Punctuation","value":")"},
  {"type":"TextWhitespace","value":"\n\t\t"},
  {"type":"OperatorWord","value":"run"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Name","value":"calc"},
  {"type":"Punctuation","value":"("},
  {"type":"Name","value":"me"},
  {"type":"Punctuation","value":");"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Name","value":"me"},
  {"type":"Operator","value":"?"},
  {"type":"Name","value":"lft"},
  {"type":"TextWhitespace","value":"\n\t\t"},
  {"type":"OperatorWord","value":"run"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Name","value":"calc"},
  {"type":"Punctuation","value":"("},
  {"type":"Name","value":"me"},
  {"type":"Punctuation","value":");"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Name","value":"me"},
  {"type":"Operator","value":"?"},
  {"type":"Name","value":"rgt"},
  {"type":"TextWhitespace","value":"\n\t\t"},
  {"type":"Keyword","value":"if"},
  {"type":"TextWhitespace","value":"\n\t\t"},
  {"type":"Operator","value":"::"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Name","value":"s"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Operator","value":"=="},
  {"type":"TextWhitespace","value":" "},
  {"type":"LiteralStringChar","value":"'+'"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Operator","value":"-\u003e"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Name","value":"you"},
  {"type":"Operator","value":"!"},
  {"type":"Punctuation","value":"("},
  {"type":"Name","value":"lft"},
  {"type":"Operator","value":"+"},
  {"type":"Name","value":"rgt"},
  {"type":"Punctuation","value":")"},
  {"type":"TextWhitespace","value":"\n\t\t"},
  {"type":"Keyword","value":"fi"},
  {"type":"TextWhitespace","value":"\n\t"},
  {"type":"Operator","value":"::"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Name","value":"f"},
  {"type":"Operator","value":"?"},
  {"type":"Name","value":"value"},
  {"type":"Punctuation","value":"("},
  {"type":"Name","value":"s"},
  {"type":"Punctuation","value":")"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Operator","value":"-\u003e"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Name","value":"you"},
  {"type":"Operator","value":"!"},
  {"type":"Name","value":"s"},
  {"type":"TextWhitespace","value":"\n\t"},
  {"type":"Keyword","value":"fi"},
  {"type":"TextWhitespace","value":"\n"},
  {"type":"Punctuation","value":"}"},
  {"type":"TextWhitespace","value":"\n"}
]