mem leak, the second: strict delete' in State.hs
cleanup