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

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

diff --git a/src/run.h b/src/run.h
new file mode 100644
index 0000000..68ea38c
--- /dev/null
+++ b/src/run.h
@@ -0,0 +1,19 @@
+#ifndef _RUN_H
+#define _RUN_H
+
+#ifdef IOAWAIT
+int Loop(context_t *C0, char service);
+#else
+int Loop(context_t *C0);
+#endif
+#if HAS_NET > 0
+#if HAS_NET_ROUTING > 0
+int MessageHandlerCode(port_t *P,message_t *m);
+#else
+int MessageHandlerCode  (port_t *P, message_type_t m);
+int MessageHandlerEvent (port_t *P, message_type_t m);
+int MessageHandlerUser  (port_t *P, message_type_t m);
+#endif
+#endif
+#endif
+