Profiles › quick › package: sexp_string_quickcheck