[
  {"type":"Keyword","value":"object"},
  {"type":"Text","value":" "},
  {"type":"NameClass","value":"abstractTypes"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"extends"},
  {"type":"Text","value":" "},
  {"type":"NameClass","value":"Application"},
  {"type":"Text","value":" "},
  {"type":"Operator","value":"{"},
  {"type":"Text","value":"\n  "},
  {"type":"Keyword","value":"abstract"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"class"},
  {"type":"Text","value":" "},
  {"type":"NameClass","value":"Buffer"},
  {"type":"Text","value":" "},
  {"type":"Operator","value":"{"},
  {"type":"Text","value":"\n    "},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"T"},
  {"type":"Operator","value":";"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"val"},
  {"type":"Text","value":" "},
  {"type":"Name","value":"element"},
  {"type":"Keyword","value":":"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"T"},
  {"type":"Text","value":"\n  "},
  {"type":"Operator","value":"}"},
  {"type":"Text","value":"\n  "},
  {"type":"Keyword","value":"abstract"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"class"},
  {"type":"Text","value":" "},
  {"type":"NameClass","value":"SeqBuffer"},
  {"type":"Text","value":" "},
  {"type":"Operator","value":"{"},
  {"type":"Text","value":"\n    "},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"T"},
  {"type":"Operator","value":";"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"val"},
  {"type":"Text","value":" "},
  {"type":"Name","value":"element"},
  {"type":"Keyword","value":":"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"Seq"},
  {"type":"Operator","value":"["},
  {"type":"KeywordType","value":"T"},
  {"type":"Operator","value":"];"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"def"},
  {"type":"Text","value":" "},
  {"type":"Name","value":"length"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"="},
  {"type":"Text","value":" "},
  {"type":"Name","value":"element"},
  {"type":"Operator","value":"."},
  {"type":"Name","value":"length"},
  {"type":"Text","value":"\n  "},
  {"type":"Operator","value":"}"},
  {"type":"Text","value":"\n  "},
  {"type":"Keyword","value":"def"},
  {"type":"Text","value":" "},
  {"type":"Name","value":"newIntBuffer"},
  {"type":"Operator","value":"("},
  {"type":"Name","value":"el"},
  {"type":"Keyword","value":":"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"Int"},
  {"type":"Operator","value":")"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"="},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"new"},
  {"type":"Text","value":" "},
  {"type":"NameClass","value":"Buffer"},
  {"type":"Text","value":" "},
  {"type":"Operator","value":"{"},
  {"type":"Text","value":"\n    "},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"T"},
  {"type":"Text","value":" "},
  {"type":"Operator","value":"="},
  {"type":"Text","value":" "},
  {"type":"NameClass","value":"Int"},
  {"type":"Operator","value":";"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"val"},
  {"type":"Text","value":" "},
  {"type":"Name","value":"element"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"="},
  {"type":"Text","value":" "},
  {"type":"Name","value":"el"},
  {"type":"Text","value":"\n  "},
  {"type":"Operator","value":"}"},
  {"type":"Text","value":"\n  "},
  {"type":"Keyword","value":"def"},
  {"type":"Text","value":" "},
  {"type":"Name","value":"newIntBuffer"},
  {"type":"Operator","value":"("},
  {"type":"Name","value":"el"},
  {"type":"Keyword","value":":"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"Int*"},
  {"type":"Operator","value":")"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"="},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"new"},
  {"type":"Text","value":" "},
  {"type":"NameClass","value":"SeqBuffer"},
  {"type":"Text","value":" "},
  {"type":"Operator","value":"{"},
  {"type":"Text","value":"\n    "},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"T"},
  {"type":"Text","value":" "},
  {"type":"Operator","value":"="},
  {"type":"Text","value":" "},
  {"type":"NameClass","value":"Int"},
  {"type":"Operator","value":";"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"val"},
  {"type":"Text","value":" "},
  {"type":"Name","value":"element"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"="},
  {"type":"Text","value":" "},
  {"type":"Name","value":"el"},
  {"type":"Text","value":"\n  "},
  {"type":"Operator","value":"}"},
  {"type":"Text","value":"\n  "},
  {"type":"Name","value":"println"},
  {"type":"Operator","value":"("},
  {"type":"Name","value":"newIntBuffer"},
  {"type":"Operator","value":"("},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Operator","value":")."},
  {"type":"Name","value":"element"},
  {"type":"Operator","value":")"},
  {"type":"Text","value":"\n  "},
  {"type":"Name","value":"println"},
  {"type":"Operator","value":"("},
  {"type":"Name","value":"newIntBuffer"},
  {"type":"Operator","value":"("},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Operator","value":","},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Operator","value":","},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Operator","value":")."},
  {"type":"Name","value":"length"},
  {"type":"Operator","value":")"},
  {"type":"Text","value":"\n"},
  {"type":"Operator","value":"}"},
  {"type":"Text","value":"\n"}
]