diff --git a/utils/check_expr.c b/utils/check_expr.c
index fd679ad99d7407ca5b348bbfc0507fb97ab9b4bc..00d00d802a18e88e4df350e9e59a24e1dbabc76c 100644
--- a/utils/check_expr.c
+++ b/utils/check_expr.c
@@ -148,6 +148,14 @@ void parse_file(const char *fname);
 void ast_register_file_version(const char *file, const char *version) { }
 int ast_add_profile(const char *x, uint64_t scale) { return 0;} 
 
+int ast_atomic_fetchadd_int_slow(volatile int *p, int v)
+{
+        int ret;
+        ret = *p;
+        *p += v;
+        return ret;
+}
+
 void ast_unregister_file_version(const char *file)
 {
 }