rewrite_module