diff --git a/addrcheck/ac_main.c b/addrcheck/ac_main.c
index 12ae62a..22d8169 100644
--- a/addrcheck/ac_main.c
+++ b/addrcheck/ac_main.c
@@ -630,6 +630,12 @@
    }
 }
 
+static
+void ac_post_mem_write(CorePart part, ThreadId tid, Addr a, SizeT len)
+{
+   ac_make_accessible(a, len);
+}
+
 
 /*------------------------------------------------------------*/
 /*--- Functions called directly from generated code.       ---*/