give darcs: rewriting a try