Libimc dumpHEADmaster

1 files changed, 18 insertions, 0 deletions

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));