bring down below 102 cols
fix initial constraint store
and put example into a main module