make sexp reader work