CppQuickCheck-2018-03-28