diff --git a/src/api/api_stats.cpp b/src/api/api_stats.cpp
index ee391f14a..a6569e878 100644
--- a/src/api/api_stats.cpp
+++ b/src/api/api_stats.cpp
@@ -130,4 +130,8 @@ extern "C" {
         Z3_CATCH_RETURN(0.0);
     }
 
+    unsigned long long Z3_API Z3_get_estimated_alloc_size(void) {
+        return memory::get_allocation_size();
+    }
+
 };
diff --git a/src/api/z3_api.h b/src/api/z3_api.h
index 78506e414..f8cc2d64e 100644
--- a/src/api/z3_api.h
+++ b/src/api/z3_api.h
@@ -5967,6 +5967,13 @@ extern "C" {
     */
     double Z3_API Z3_stats_get_double_value(Z3_context c, Z3_stats s, unsigned idx);
 
+    /**
+    \brief Return the estimated allocated memory in bytes.
+
+    def_API('Z3_get_estimated_alloc_size', ULLONG, ())
+    */
+    unsigned long long Z3_API Z3_get_estimated_alloc_size(void);
+
     /*@}*/
 
 #ifdef __cplusplus