//bin/sexp-conv