demo/digraph.lgf
changeset 789 8e68671af789