prototype implementation of a bounded string module for the Gecode CP library