--- dietlibc/t.c 2001/06/22 17:02:10 1.111 +++ dietlibc/t.c 2001/06/24 16:37:19 1.112 @@ -48,6 +48,7 @@ void fnord(char*x,...) { int main(int argc,char *argv[]) { fnord("fnord","foo\n","bar\n",0); + assert(0); #if 0 printf("%hd %hhd\n",-5,-1234567); #endif