2 files changed, 13 insertions, 4 deletions
diff --git a/kernel/main.c b/kernel/main.c
deleted file mode 100644
index 6de1868..0000000
--- a/kernel/main.c
+++ /dev/null
@@ -1,4 +0,0 @@
-
-void test(double a) {}
-int main() { test(3.0); }
-
diff --git a/kernel/main.dats b/kernel/main.dats
new file mode 100644
index 0000000..1eb7813
--- /dev/null
+++ b/kernel/main.dats
@@ -0,0 +1,13 @@
+#include "share/atspre_staload.hats"
+
+typedef test = @{test2 = uint8}
+
+extern castfn uint8_of {n: nat} (i: int n): uint8 n
+
+implement main0 () = 
+let 
+  val t = @{test2 = uint8_of(4)} : test
+in 
+  main0 ()
+end
+