We don't need save_module any more because runtime.render does it?