diff --git a/g/gentzen.gentzen b/g/gentzen.gentzen
new file mode 100644
index 00000000..968d0e18
--- /dev/null
+++ b/g/gentzen.gentzen
@@ -0,0 +1,5 @@
+<- "stdlib";
+<- "iolib";
+main : () / ($1(iosys) |- $2(++));
+main = [x,y] cut "Hello, World!" [z] outtext x z y;
+-> main;