--- /dev/null
+module test
+
+import StdEnv => qualified return
+import iTasks
+
+gEditor{|{#Int}|} = emptyEditor
+gText{|{#Int}|} = []
+JSONEncode{|{#Int}|} x = [JSONArray [JSONInt e \\ e <-: x]
+JSONDecode{|{#Int}|} _ (JSONArray a) = {#i\\JSONInt<-a}
+gDefault{|{#Int}|} = {}
+gEq{|{#Int}|} l r = size l == size r && and [l == r\\l<-l & r<-r]
+
+Start w = startEngine t w
+
+t :: Task {#Int}
+t = treturn {0,0,0}