[
  {"type":"CommentSingle","value":"// examples/fibonacci.ltl  -  Fibonacci demonstration"},
  {"type":"TextWhitespace","value":"\n\n"},
  {"type":"Keyword","value":"module"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Name","value":"examples"},
  {"type":"Punctuation","value":"."},
  {"type":"Name","value":"fibonacci"},
  {"type":"TextWhitespace","value":"\n\n"},
  {"type":"Keyword","value":"import"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Name","value":"io"},
  {"type":"TextWhitespace","value":"\n\n"},
  {"type":"Keyword","value":"fn"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Name","value":"fib"},
  {"type":"Punctuation","value":"("},
  {"type":"Name","value":"n"},
  {"type":"Punctuation","value":":"},
  {"type":"TextWhitespace","value":" "},
  {"type":"KeywordType","value":"int"},
  {"type":"Punctuation","value":")"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Operator","value":"-\u003e"},
  {"type":"TextWhitespace","value":" "},
  {"type":"KeywordType","value":"int"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Punctuation","value":"{"},
  {"type":"TextWhitespace","value":"\n    "},
  {"type":"Keyword","value":"if"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Name","value":"n"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Operator","value":"\u003c="},
  {"type":"TextWhitespace","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Punctuation","value":"{"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Keyword","value":"return"},
  {"type":"TextWhitespace","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Punctuation","value":"}"},
  {"type":"TextWhitespace","value":"\n    "},
  {"type":"Keyword","value":"if"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Name","value":"n"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Operator","value":"=="},
  {"type":"TextWhitespace","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Punctuation","value":"{"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Keyword","value":"return"},
  {"type":"TextWhitespace","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Punctuation","value":"}"},
  {"type":"TextWhitespace","value":"\n    "},
  {"type":"Keyword","value":"return"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Name","value":"fib"},
  {"type":"Punctuation","value":"("},
  {"type":"Name","value":"n"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Operator","value":"-"},
  {"type":"TextWhitespace","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Punctuation","value":")"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Operator","value":"+"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Name","value":"fib"},
  {"type":"Punctuation","value":"("},
  {"type":"Name","value":"n"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Operator","value":"-"},
  {"type":"TextWhitespace","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Punctuation","value":")"},
  {"type":"TextWhitespace","value":"\n"},
  {"type":"Punctuation","value":"}"},
  {"type":"TextWhitespace","value":"\n\n"},
  {"type":"Keyword","value":"fn"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Name","value":"main"},
  {"type":"Punctuation","value":"()"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Punctuation","value":"{"},
  {"type":"TextWhitespace","value":"\n    "},
  {"type":"Name","value":"io"},
  {"type":"Punctuation","value":"."},
  {"type":"NameBuiltin","value":"println"},
  {"type":"Punctuation","value":"("},
  {"type":"LiteralString","value":"\"Fibonacci sequence:\""},
  {"type":"Punctuation","value":")"},
  {"type":"TextWhitespace","value":"\n    "},
  {"type":"Keyword","value":"let"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Keyword","value":"mut"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Name","value":"i"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Operator","value":"="},
  {"type":"TextWhitespace","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"TextWhitespace","value":"\n    "},
  {"type":"Keyword","value":"while"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Name","value":"i"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Operator","value":"\u003c="},
  {"type":"TextWhitespace","value":" "},
  {"type":"LiteralNumberInteger","value":"15"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Punctuation","value":"{"},
  {"type":"TextWhitespace","value":"\n        "},
  {"type":"Name","value":"io"},
  {"type":"Punctuation","value":"."},
  {"type":"NameBuiltin","value":"println"},
  {"type":"Punctuation","value":"("},
  {"type":"LiteralString","value":"\"fib(\""},
  {"type":"TextWhitespace","value":" "},
  {"type":"Operator","value":"+"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Name","value":"i"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Keyword","value":"as"},
  {"type":"TextWhitespace","value":" "},
  {"type":"KeywordType","value":"str"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Operator","value":"+"},
  {"type":"TextWhitespace","value":" "},
  {"type":"LiteralString","value":"\") = \""},
  {"type":"TextWhitespace","value":" "},
  {"type":"Operator","value":"+"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Name","value":"fib"},
  {"type":"Punctuation","value":"("},
  {"type":"Name","value":"i"},
  {"type":"Punctuation","value":")"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Keyword","value":"as"},
  {"type":"TextWhitespace","value":" "},
  {"type":"KeywordType","value":"str"},
  {"type":"Punctuation","value":")"},
  {"type":"TextWhitespace","value":"\n        "},
  {"type":"Name","value":"i"},
  {"type":"TextWhitespace","value":" "},
  {"type":"Operator","value":"+="},
  {"type":"TextWhitespace","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"TextWhitespace","value":"\n    "},
  {"type":"Punctuation","value":"}"},
  {"type":"TextWhitespace","value":"\n"},
  {"type":"Punctuation","value":"}"},
  {"type":"TextWhitespace","value":"\n\n"},
  {"type":"Name","value":"main"},
  {"type":"Punctuation","value":"()"},
  {"type":"TextWhitespace","value":"\n"}
]