hash: with sexp