export sexp command