pub fn rewrite( module_ast: Arc<Module>, check_memory_operations: bool ) -> Result<(), Box<dyn Error>>