darcs-all 3 KB