--# run #--
--- choice ---
=> | {}"a" |
--- text ---
| {}"-> a" |
--- choice ---
=> | {}"aa" |
 > | {}"ab" |
--- text ---
| {}"-> aa" |
| {}"x" |
--- choice ---
=> | {}"b" |
--- text ---
| {}"-> b" |
--- return ---
()
--# saved #--
{}