(^) rewrite of *.cmp