Macos x86_64, Debug, apple-clang 9.1, libc++ . Options:  rapidcheck:shared-False