diff --git a/tests/1/t3.zwei b/tests/1/t3.zwei
new file mode 100755
index 0000000..9e604f8
--- /dev/null
+++ b/tests/1/t3.zwei
@@ -0,0 +1,15 @@
+class List {
+def isEmpty ( ): Int = this.isEmpty ( );
+def head ( ): Int = this.head ( );
+def tail ( ): List = this.tail ( );
+def cons (x : Int ): List = this.cons (x );
+// ..
+}
+class Cons extends List {
+val head : Int;
+val tail : List;
+def isEmpty ( ): Int = false;
+def head ( ): Int = this.head;
+def tail ( ): List = this.tail;
+def cons (x : Int ): List = new Cons (x, this );
+}
\ No newline at end of file