added a version of c-exprs