comment: obj
--Start of comment
exX: var integer
--decl of XY: var integer
Z: var integer --decl of Z
foo: --decl of foo pattern
a: var boolean
@if::then:else:
in if: var Boolean
then:< Object
else:< Object
L: obj