incomplete c-rewrite