(("root"
  (comment
    ("comment"
     (location
       (("location"
         (file-name . "parse_locations.dzn")
         (line . 1)
         (column . 1)
         (end-line . 24)
         (end-column . 1)
         (offset . 0)
         (length . 845))))
     (string
       .
       "// Dezyne --- Dezyne command line tools\n//\n// Copyright © 2018, 2020, 2021, 2022 Jan (janneke) Nieuwenhuizen <janneke@gnu.org>\n//\n// This file is part of Dezyne.\n//\n// Dezyne is free software: you can redistribute it and/or modify it\n// under the terms of the GNU Affero General Public License as\n// published by the Free Software Foundation, either version 3 of the\n// License, or (at your option) any later version.\n//\n// Dezyne is distributed in the hope that it will be useful, but\n// WITHOUT ANY WARRANTY; without even the implied warranty of\n// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU\n// Affero General Public License for more details.\n//\n// You should have received a copy of the GNU Affero General Public\n// License along with Dezyne.  If not, see <http://www.gnu.org/licenses/>.\n//\n// Commentary:\n//\n// Code:\n")))
  (location
    (("location"
      (file-name . "parse_locations.dzn")
      (line . 24)
      (column . 1)
      (end-line . 34)
      (end-column . 2)
      (offset . 845)
      (length . 126))))
  (("file-name" (name . "./ihello.dzn")))
  (("interface"
    (location
      (("location"
        (file-name . "./ihello.dzn")
        (line . 24)
        (column . 1)
        (end-line . 33)
        (end-column . 2)
        (offset . 845)
        (length . 100))))
    (name . ihello)
    (types ("types"))
    (events
      ("events"
       (("event"
         (location
           (("location"
             (file-name . "./ihello.dzn")
             (line . 26)
             (column . 3)
             (end-line . 26)
             (end-column . 19)
             (offset . 866)
             (length . 16))))
         (name . "hello")
         (signature
           ("signature"
            (location
              (("location"
                (file-name . "./ihello.dzn")
                (line . 26)
                (column . 6)
                (end-line . 26)
                (end-column . 10)
                (offset . 869)
                (length . 4))))
            (type.name . void)
            (formals ("formals"))))
         (direction . in)))
       (("event"
         (location
           (("location"
             (file-name . "./ihello.dzn")
             (line . 27)
             (column . 3)
             (end-line . 27)
             (end-column . 20)
             (offset . 885)
             (length . 17))))
         (name . "world")
         (signature
           ("signature"
            (location
              (("location"
                (file-name . "./ihello.dzn")
                (line . 27)
                (column . 7)
                (end-line . 27)
                (end-column . 11)
                (offset . 889)
                (length . 4))))
            (type.name . void)
            (formals ("formals"))))
         (direction . out)))))
    (behavior
      ("behavior"
       (location
         (("location"
           (file-name . "./ihello.dzn")
           (line . 29)
           (column . 3)
           (end-line . 32)
           (end-column . 4)
           (offset . 906)
           (length . 37))))
       (types ("types"))
       (variables ("variables"))
       (functions ("functions"))
       (statement
         ("compound"
          (location
            (("location"
              (file-name . "./ihello.dzn")
              (line . 30)
              (column . 3)
              (end-line . 32)
              (end-column . 4)
              (offset . 917)
              (length . 26))))
          (("on"
            (location
              (("location"
                (file-name . "./ihello.dzn")
                (line . 31)
                (column . 5)
                (end-line . 31)
                (end-column . 21)
                (offset . 923)
                (length . 16))))
            (triggers
              ("triggers"
               (("trigger"
                 (location
                   (("location"
                     (file-name . "./ihello.dzn")
                     (line . 31)
                     (column . 8)
                     (end-line . 31)
                     (end-column . 13)
                     (offset . 926)
                     (length . 5))))
                 (event.name . "hello")
                 (formals ("formals"))))))
            (statement
              ("action"
               (location
                 (("location"
                   (file-name . "./ihello.dzn")
                   (line . 31)
                   (column . 15)
                   (end-line . 31)
                   (end-column . 20)
                   (offset . 933)
                   (length . 5))))
               (expression . *unspecified*)
               (event.name . "world")
               (arguments ("arguments"))))))))))))
  (("file-name" (name . "parse_locations.dzn")))
  (("import"
    (location
      (("location"
        (file-name . "parse_locations.dzn")
        (line . 24)
        (column . 1)
        (end-line . 24)
        (end-column . 19)
        (offset . 845)
        (length . 18))))
    (name . "ihello.dzn")))
  (("component"
    (location
      (("location"
        (file-name . "parse_locations.dzn")
        (line . 26)
        (column . 1)
        (end-line . 34)
        (end-column . 2)
        (offset . 865)
        (length . 106))))
    (name . hello)
    (ports ("ports"
            (("port"
              (location
                (("location"
                  (file-name . "parse_locations.dzn")
                  (line . 28)
                  (column . 3)
                  (end-line . 28)
                  (end-column . 21)
                  (offset . 885)
                  (length . 18))))
              (name . "h")
              (type.name . ihello)
              (direction . provides)
              (formals ("formals"))))))
    (behavior
      ("behavior"
       (location
         (("location"
           (file-name . "parse_locations.dzn")
           (line . 29)
           (column . 3)
           (end-line . 33)
           (end-column . 4)
           (offset . 906)
           (length . 63))))
       (types ("types"))
       (variables ("variables"))
       (functions
         ("functions"
          (("function"
            (location
              (("location"
                (file-name . "parse_locations.dzn")
                (line . 31)
                (column . 5)
                (end-line . 31)
                (end-column . 17)
                (offset . 923)
                (length . 12))))
            (name . "f")
            (signature
              ("signature"
               (location
                 (("location"
                   (file-name . "parse_locations.dzn")
                   (line . 31)
                   (column . 5)
                   (end-line . 31)
                   (end-column . 9)
                   (offset . 923)
                   (length . 4))))
               (type.name . void)
               (formals ("formals"))))
            (statement
              ("compound"
               (location
                 (("location"
                   (file-name . "parse_locations.dzn")
                   (line . 31)
                   (column . 15)
                   (end-line . 31)
                   (end-column . 17)
                   (offset . 933)
                   (length . 2))))))))))
       (statement
         ("compound"
          (location
            (("location"
              (file-name . "parse_locations.dzn")
              (line . 30)
              (column . 3)
              (end-line . 33)
              (end-column . 4)
              (offset . 917)
              (length . 52))))
          (("on"
            (location
              (("location"
                (file-name . "parse_locations.dzn")
                (line . 32)
                (column . 5)
                (end-line . 32)
                (end-column . 30)
                (offset . 940)
                (length . 25))))
            (triggers
              ("triggers"
               (("trigger"
                 (location
                   (("location"
                     (file-name . "parse_locations.dzn")
                     (line . 32)
                     (column . 8)
                     (end-line . 32)
                     (end-column . 17)
                     (offset . 943)
                     (length . 9))))
                 (port.name . "h")
                 (event.name . "hello")
                 (formals ("formals"))))))
            (statement
              ("action"
               (location
                 (("location"
                   (file-name . "parse_locations.dzn")
                   (line . 32)
                   (column . 19)
                   (end-line . 32)
                   (end-column . 29)
                   (offset . 954)
                   (length . 10))))
               (expression . *unspecified*)
               (port.name . "h")
               (event.name . "world")
               (arguments
                 ("arguments"
                  (location
                    (("location"
                      (file-name . "parse_locations.dzn")
                      (line . 32)
                      (column . 27)
                      (end-line . 32)
                      (end-column . 29)
                      (offset . 962)
                      (length . 2))))))))))))))))))
