Preparing white-box testing (C++ vs. Haskell impls.)