redo the to_sexp