rewrite module implemented