use regular lists, not sexp in rewriting/list.p example