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