demo/coloring.lgf
changeset 1687 7dc3abbb7636
child 1901 723b2b81d900