avoid duplicate def of SEXP