EXPORT rewrite_module
