From 0b0de734f32a08524409869f579bba9eeacf63d0 Mon Sep 17 00:00:00 2001
From: sbosse <sbosse@uni-bremen.de>
Date: Mon, 16 Mar 2026 11:10:12 +0100
Subject: [PATCH] Mon 16 Mar 11:09:06 CET 2026

---
 src/debug.h | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 src/debug.h

diff --git a/src/debug.h b/src/debug.h
new file mode 100644
index 0000000..094ca9e
--- /dev/null
+++ b/src/debug.h
@@ -0,0 +1,13 @@
+#ifndef _DEBUG_H
+#define _DEBUG_H
+
+int CountCode(mem_t *M);
+void PrintOp(op_t *,address_t addr);
+int PrintCode(mem_t *);
+void PrintEvents(events_t *E);
+void PrintHeap(mem_t *);
+void PrintLexerToken(lexer_t *);
+void PrintStack(char *label,stack_t *);
+void PrintState(reg_t *R);
+
+#endif