cxa guard release patch

diff --git a/repos/base/src/base/cxx/guard.cc b/repos/base/src/base/cxx/guard.cc
index fe9a423..b1964ff 100644
--- a/repos/base/src/base/cxx/guard.cc
+++ b/repos/base/src/base/cxx/guard.cc
@@ -12,6 +12,7 @@
  */

 #include <cpu/atomic.h>
+#include <base/printf.h>

 namespace __cxxabiv1
 {
@@ -61,10 +62,12 @@ namespace __cxxabiv1

    extern "C" void __cxa_guard_release(__guard *guard)
    {
+       if ((unsigned long) guard == 0xdeadbeef) PDBG("%u", __LINE__);
        volatile char *initialized = (char *)guard;
-
+       if ((unsigned long) guard == 0xdeadbeef) PDBG("%u", __LINE__);
        /* set state 3) */
        *initialized = 1;
+       if ((unsigned long) guard == 0xdeadbeef) PDBG("%u", __LINE__);
    }