Index: src/tests/avltree/avl.h
===================================================================
--- src/tests/avltree/avl.h	(revision 00b7cd3e8a3b65734bb432ac26ee5940a9e3a00c)
+++ src/tests/avltree/avl.h	(revision ddcfb88e9ebb1c98bd7dec3889b89ade6bb88bab)
@@ -4,7 +4,5 @@
 extern "C" {
 #define NULL 0
-void free(void *);
 #define assert(cond) if (! (cond)) { printf("Assertion failed: (%s) at %s:%d\n", #cond, __FILE__, __LINE__); abort(); }
-int printf(const char *, ...);
 }
 
Index: src/tests/avltree/avl1.c
===================================================================
--- src/tests/avltree/avl1.c	(revision 00b7cd3e8a3b65734bb432ac26ee5940a9e3a00c)
+++ src/tests/avltree/avl1.c	(revision ddcfb88e9ebb1c98bd7dec3889b89ade6bb88bab)
@@ -1,8 +1,4 @@
 #include "avl.h"
 // #include "cwrap.h"
-
-extern "C" {
-  void * malloc(long int);
-}
 
 forall(otype K | Comparable(K), otype V)
Index: src/tests/avltree/avl_test.c
===================================================================
--- src/tests/avltree/avl_test.c	(revision 00b7cd3e8a3b65734bb432ac26ee5940a9e3a00c)
+++ src/tests/avltree/avl_test.c	(revision ddcfb88e9ebb1c98bd7dec3889b89ade6bb88bab)
@@ -3,5 +3,4 @@
 
 extern "C" {
-  int printf(const char *, ...);
   int strcmp(const char *, const char *);
 }