diff --git a/cfg/daca.cfg b/cfg/daca.cfg
index 6dbd726ec..646056891 100644
--- a/cfg/daca.cfg
+++ b/cfg/daca.cfg
@@ -1,6 +1,9 @@
 <?xml version="1.0"?>
 <def format="2">
   <!-- This configuration is used in daca@home and contains some common practice macros and functions which are helpful for daca analysis. -->
+  <!-- see gnu.cfg -->
+  <define name="define ASSERT(expr)" value="assert (expr)"/>
+  <define name="define BE(expr, val)" value="__builtin_expect (expr, val)"/>
   <function name="MIN">
     <use-retval/>
     <noreturn>false</noreturn>