From 041c96ed89a8e1a583b416180977b0ce5b9b8d48 Mon Sep 17 00:00:00 2001
From: Matthew Sotoudeh <matthew@masot.net>
Date: Tue, 28 May 2024 14:59:23 -0700
Subject: Libimc dump

---
 libimc/libimc.h | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 libimc/libimc.h

(limited to 'libimc/libimc.h')

diff --git a/libimc/libimc.h b/libimc/libimc.h
new file mode 100644
index 0000000..8777883
--- /dev/null
+++ b/libimc/libimc.h
@@ -0,0 +1,18 @@
+#pragma once
+
+#include <stdint.h>
+#include <stdio.h>
+#include <assert.h>
+#include <string.h>
+#include <stdlib.h>
+#include <stddef.h>
+
+typedef uint64_t choice_t;
+typedef uint64_t hash_t;
+
+choice_t choose(choice_t n, hash_t hash);
+void report_error();
+void check_exit_normal();
+extern void check_main();
+
+void register_resetter(void (*resetter)(void));
-- 
cgit v1.2.3