EXPORT  rewrite_module