Rewrite spec prelude