-#include <stdio.h>
-
-#ifdef CONFIG_DEBUG
-#define DBG() do { printf("Here: %s, L%d\n", __func__, __LINE__); } while (0)
-#define DEBUG(fmt, ...) printf(fmt, ##__VA_ARGS__)
-#else
-#define DBG()
-#define DEBUG(fmt, ...)
+/** @file libthreads.h
+ * @brief Basic Thread Library Functionality.
+ */
+
+#ifndef __LIBTHREADS_H__
+#define __LIBTHREADS_H__
+
+#ifdef __cplusplus
+extern "C" {