1 files changed, 12 insertions, 0 deletions

diff --git a/lib/rbcodec/test/warble.c b/lib/rbcodec/test/warble.c
index 8f11b9b56e..9cb7cdfe07 100644
--- a/lib/rbcodec/test/warble.c
+++ b/lib/rbcodec/test/warble.c
@@ -33,6 +33,7 @@
 #include <unistd.h>
 #include "buffering.h" /* TYPE_PACKET_AUDIO */
 #include "kernel.h"
+#include "core_alloc.h"
 #include "codecs.h"
 #include "dsp_core.h"
 #include "metadata.h"
@@ -70,6 +71,16 @@ void debugf(const char *fmt, ...)
     va_end(ap);
 }
 
+void panicf(const char *fmt, ...)
+{
+    va_list ap;
+    va_start(ap, fmt);
+    vfprintf(stderr, fmt, ap);
+    va_end(ap);
+
+    exit (-1);
+}
+
 int find_first_set_bit(uint32_t value)
 {
     if (value == 0)
@@ -888,6 +899,7 @@ int main(int argc, char **argv)
             print_help(argv[0]);
             exit(1);
         }
+        core_allocator_init();
         playback_init();
     } else {
         if (argc > 1)