1 files changed, 13 insertions, 0 deletions
diff --git a/test/littlesemantics/main.c b/test/littlesemantics/main.c
new file mode 100644
index 00000000..5749cb25
--- /dev/null
+++ b/test/littlesemantics/main.c
@@ -0,0 +1,13 @@
+#include <stdio.h>
+#include "little.h"
+
+main() {
+  term *t;
+  t = variable("a");
+
+  if(NULL == t) {
+    printf("call to a term constructor returns a NULL pointer");
+  } else {
+    printf("a variable whose name is %s\n", t->term_body.string_val);
+  }
+}