rename bench-scratch -> bench-pState; make a copy of the latter for adaptation in terms of State monad