modal/test.modal

<> (dup ?x) (?x ?x done)
<> (hello ?x) (bye ?x)
<> (a (b (c))) (end)

(hello world)