00001 #include <stdio.h>
00002 #include <stdlib.h>
00003 
00004 void free(void* p)
00005 {
00006         printf("blip\n");
00007 }
00008 
00009 int main()
00010 {
00011         char* t = malloc(10);
00012         free(t);
00013         return 0;
00014 }