[
  [
    "start",
    [
      "keyword",
      "with"
    ],
    [
      "text",
      " "
    ],
    [
      "identifier",
      "Ada"
    ],
    [
      "text",
      "."
    ],
    [
      "identifier",
      "Text_IO"
    ],
    [
      "text",
      "; "
    ],
    [
      "keyword",
      "use"
    ],
    [
      "text",
      " "
    ],
    [
      "identifier",
      "Ada"
    ],
    [
      "text",
      "."
    ],
    [
      "identifier",
      "Text_IO"
    ],
    [
      "text",
      ";"
    ]
  ],
  [
    "start",
    [
      "keyword",
      "procedure"
    ],
    [
      "text",
      " "
    ],
    [
      "identifier",
      "Hello"
    ],
    [
      "text",
      " "
    ],
    [
      "keyword",
      "is"
    ]
  ],
  [
    "start",
    [
      "keyword",
      "begin"
    ]
  ],
  [
    "start",
    [
      "text",
      "  "
    ],
    [
      "identifier",
      "Put_Line"
    ],
    [
      "paren.lparen",
      "("
    ],
    [
      "string",
      "\"Hello, world!\""
    ],
    [
      "paren.rparen",
      ")"
    ],
    [
      "text",
      ";"
    ]
  ],
  [
    "start",
    [
      "keyword",
      "end"
    ],
    [
      "text",
      " "
    ],
    [
      "identifier",
      "Hello"
    ],
    [
      "text",
      ";"
    ]
  ]
]