write sexp back to string