Index: src/tests/avltree/avl.h
===================================================================
--- src/tests/avltree/avl.h	(revision cb2b15c14b23a27bb4c6c5e1a4193c5902bbc583)
+++ src/tests/avltree/avl.h	(revision a9fc180fb0f333027273fa4a12cf9efe6943f5f5)
@@ -19,4 +19,7 @@
 forall(otype T | Comparable(T))
 int ?>?(T t1, T t2);
+
+// xxx - unbound type variable problems when trying to use new instead of create
+// forall( otype T, ttype Params | { void ?{}(T *, Params); } ) T * new( Params p );
 
 forall(dtype T | { void ^?{}(T *); })
Index: src/tests/avltree/avl0.c
===================================================================
--- src/tests/avltree/avl0.c	(revision cb2b15c14b23a27bb4c6c5e1a4193c5902bbc583)
+++ src/tests/avltree/avl0.c	(revision a9fc180fb0f333027273fa4a12cf9efe6943f5f5)
@@ -10,10 +10,2 @@
   return t2 < t1;
 }
-
-forall(dtype T | { void ^?{}(T *); })
-void delete(T * x) {
-  if (x) {
-    ^?{}(x);
-    free(x);
-  }
-}