Profiles › full › package: sexp_string_quickcheck