EXPORT  rewrite_module
