#ifndef __OUTPUT_H__
#define __OUTPUT_H__
+#include "config.h"
+
+#ifdef CONFIG_DEBUG
+static inline void redirect_output() { }
+static inline void clear_program_output() { }
+static inline void print_program_output() { }
+#else
void redirect_output();
void clear_program_output();
void print_program_output();
+#endif /* ! CONFIG_DEBUG */
#endif /* __OUTPUT_H__ */