Polish replacement syntax for use_module