strings for sexp arguments