[[
   "punctuation.definition.comment",
  ["punctuation.definition.comment","(*"],
  ["comment.block.one","****************************************************************************"]
],[
   "punctuation.definition.comment",
  ["comment.block.one"," * A simple bubble sort program.  Reads integers, one per line, and prints   *"]
],[
   "punctuation.definition.comment",
  ["comment.block.one"," * them out in sorted order.  Blows up if there are more than 49.            *"]
],[
   "start",
  ["comment.block.one"," ****************************************************************************"],
  ["punctuation.definition.comment","*)"]
],[
   "start",
  ["keyword.control","PROGRAM"],
  ["text"," "],
  ["identifier","Sort"],
  ["text","("],
  ["identifier","input"],
  ["keyword.operator",","],
  ["text"," "],
  ["identifier","output"],
  ["text",")"],
  ["keyword.operator",";"]
],[
   "start",
  ["text","    "],
  ["keyword.control","CONST"]
],[
   "start",
  ["text","        "],
  ["punctuation.definition.comment","(*"],
  ["comment.block.one"," Max array size. "],
  ["punctuation.definition.comment","*)"]
],[
   "start",
  ["text","        "],
  ["identifier","MaxElts"],
  ["text"," "],
  ["keyword.operator","="],
  ["text"," "],
  ["constant.numeric","50"],
  ["keyword.operator",";"]
],[
   "start",
  ["text","    "],
  ["keyword.control","TYPE"],
  ["text"," "]
],[
   "start",
  ["text","        "],
  ["punctuation.definition.comment","(*"],
  ["comment.block.one"," Type of the element array. "],
  ["punctuation.definition.comment","*)"]
],[
   "start",
  ["text","        "],
  ["identifier","IntArrType"],
  ["text"," "],
  ["keyword.operator","="],
  ["text"," "],
  ["keyword.control","ARRAY"],
  ["text"," ["],
  ["constant.numeric","1"],
  ["text",".."],
  ["identifier","MaxElts"],
  ["text","] "],
  ["keyword.control","OF"],
  ["text"," "],
  ["identifier","Integer"],
  ["keyword.operator",";"]
],[
   "start"
],[
   "start",
  ["text","    "],
  ["keyword.control","VAR"]
],[
   "start",
  ["text","        "],
  ["punctuation.definition.comment","(*"],
  ["comment.block.one"," Indexes, exchange temp, array size. "],
  ["punctuation.definition.comment","*)"]
],[
   "start",
  ["text","        "],
  ["identifier","i"],
  ["keyword.operator",","],
  ["text"," "],
  ["identifier","j"],
  ["keyword.operator",","],
  ["text"," "],
  ["identifier","tmp"],
  ["keyword.operator",","],
  ["text"," "],
  ["identifier","size"],
  ["text",": "],
  ["identifier","integer"],
  ["keyword.operator",";"]
],[
   "start"
],[
   "start",
  ["text","        "],
  ["punctuation.definition.comment","(*"],
  ["comment.block.one"," Array of ints "],
  ["punctuation.definition.comment","*)"]
],[
   "start",
  ["text","        "],
  ["identifier","arr"],
  ["text",": "],
  ["identifier","IntArrType"],
  ["keyword.operator",";"]
],[
   "start"
],[
   "start",
  ["text","    "],
  ["punctuation.definition.comment","(*"],
  ["comment.block.one"," Read in the integers. "],
  ["punctuation.definition.comment","*)"]
],[
   "start",
  ["text","    "],
  ["variable","PROCEDURE"],
  ["text"," "],
  ["storage.type.function","ReadArr"],
  ["text","("],
  ["keyword.control","VAR"],
  ["text"," "],
  ["identifier","size"],
  ["text",": "],
  ["identifier","Integer"],
  ["keyword.operator",";"],
  ["text"," "],
  ["keyword.control","VAR"],
  ["text"," "],
  ["identifier","a"],
  ["text",": "],
  ["identifier","IntArrType"],
  ["text",")"],
  ["keyword.operator",";"],
  ["text"," "]
],[
   "start",
  ["text","        "],
  ["keyword.control","BEGIN"]
],[
   "start",
  ["text","            "],
  ["identifier","size"],
  ["text"," "],
  ["keyword.operator",":="],
  ["text"," "],
  ["constant.numeric","1"],
  ["keyword.operator",";"]
],[
   "start",
  ["text","            "],
  ["keyword.control","WHILE"],
  ["text"," "],
  ["keyword.control","NOT"],
  ["text"," "],
  ["identifier","eof"],
  ["text"," "],
  ["keyword.control","DO"],
  ["text"," "],
  ["keyword.control","BEGIN"]
],[
   "start",
  ["text","                "],
  ["identifier","readln"],
  ["text","("],
  ["identifier","a"],
  ["text","["],
  ["identifier","size"],
  ["text","])"],
  ["keyword.operator",";"]
],[
   "start",
  ["text","                "],
  ["keyword.control","IF"],
  ["text"," "],
  ["keyword.control","NOT"],
  ["text"," "],
  ["identifier","eof"],
  ["text"," "],
  ["keyword.control","THEN"],
  ["text"," "]
],[
   "start",
  ["text","                    "],
  ["identifier","size"],
  ["text"," "],
  ["keyword.operator",":="],
  ["text"," "],
  ["identifier","size"],
  ["text"," "],
  ["keyword.operator","+"],
  ["text"," "],
  ["constant.numeric","1"]
],[
   "start",
  ["text","            "],
  ["keyword.control","END"]
],[
   "start",
  ["text","        "],
  ["keyword.control","END"],
  ["keyword.operator",";"]
],[
   "start"
],[
   "start",
  ["text","    "],
  ["keyword.control","BEGIN"]
],[
   "start",
  ["text","        "],
  ["punctuation.definition.comment","(*"],
  ["comment.block.one"," Read "],
  ["punctuation.definition.comment","*)"]
],[
   "start",
  ["text","        "],
  ["identifier","ReadArr"],
  ["text","("],
  ["identifier","size"],
  ["keyword.operator",","],
  ["text"," "],
  ["identifier","arr"],
  ["text",")"],
  ["keyword.operator",";"]
],[
   "start"
],[
   "start",
  ["text","        "],
  ["punctuation.definition.comment","(*"],
  ["comment.block.one"," Sort using bubble sort. "],
  ["punctuation.definition.comment","*)"]
],[
   "start",
  ["text","        "],
  ["keyword.control","FOR"],
  ["text"," "],
  ["identifier","i"],
  ["text"," "],
  ["keyword.operator",":="],
  ["text"," "],
  ["identifier","size"],
  ["text"," "],
  ["keyword.operator","-"],
  ["text"," "],
  ["constant.numeric","1"],
  ["text"," "],
  ["identifier","DOWNTO"],
  ["text"," "],
  ["constant.numeric","1"],
  ["text"," "],
  ["keyword.control","DO"]
],[
   "start",
  ["text","            "],
  ["keyword.control","FOR"],
  ["text"," "],
  ["identifier","j"],
  ["text"," "],
  ["keyword.operator",":="],
  ["text"," "],
  ["constant.numeric","1"],
  ["text"," "],
  ["keyword.control","TO"],
  ["text"," "],
  ["identifier","i"],
  ["text"," "],
  ["keyword.control","DO"],
  ["text"," "]
],[
   "start",
  ["text","                "],
  ["keyword.control","IF"],
  ["text"," "],
  ["identifier","arr"],
  ["text","["],
  ["identifier","j"],
  ["text","] > "],
  ["identifier","arr"],
  ["text","["],
  ["identifier","j"],
  ["text"," "],
  ["keyword.operator","+"],
  ["text"," "],
  ["constant.numeric","1"],
  ["text","] "],
  ["keyword.control","THEN"],
  ["text"," "],
  ["keyword.control","BEGIN"]
],[
   "start",
  ["text","                    "],
  ["identifier","tmp"],
  ["text"," "],
  ["keyword.operator",":="],
  ["text"," "],
  ["identifier","arr"],
  ["text","["],
  ["identifier","j"],
  ["text","]"],
  ["keyword.operator",";"]
],[
   "start",
  ["text","                    "],
  ["identifier","arr"],
  ["text","["],
  ["identifier","j"],
  ["text","] "],
  ["keyword.operator",":="],
  ["text"," "],
  ["identifier","arr"],
  ["text","["],
  ["identifier","j"],
  ["text"," "],
  ["keyword.operator","+"],
  ["text"," "],
  ["constant.numeric","1"],
  ["text","]"],
  ["keyword.operator",";"]
],[
   "start",
  ["text","                    "],
  ["identifier","arr"],
  ["text","["],
  ["identifier","j"],
  ["text"," "],
  ["keyword.operator","+"],
  ["text"," "],
  ["constant.numeric","1"],
  ["text","] "],
  ["keyword.operator",":="],
  ["text"," "],
  ["identifier","tmp"],
  ["keyword.operator",";"]
],[
   "start",
  ["text","                "],
  ["keyword.control","END"],
  ["keyword.operator",";"]
],[
   "start"
],[
   "start",
  ["text","        "],
  ["punctuation.definition.comment","(*"],
  ["comment.block.one"," Print. "],
  ["punctuation.definition.comment","*)"]
],[
   "start",
  ["text","        "],
  ["keyword.control","FOR"],
  ["text"," "],
  ["identifier","i"],
  ["text"," "],
  ["keyword.operator",":="],
  ["text"," "],
  ["constant.numeric","1"],
  ["text"," "],
  ["keyword.control","TO"],
  ["text"," "],
  ["identifier","size"],
  ["text"," "],
  ["keyword.control","DO"]
],[
   "start",
  ["text","            "],
  ["identifier","writeln"],
  ["text","("],
  ["identifier","arr"],
  ["text","["],
  ["identifier","i"],
  ["text","])"]
],[
   "start",
  ["text","    "],
  ["keyword.control","END"],
  ["text","."]
],[
   "start",
  ["text","            "]
]]