demo of sexp conversion