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