Macos x86_64, Release, apple-clang 10.0, libc++ . Options:  rapidcheck:shared-True