module total rewrite