// Test zero-size allocations -- shouldn't cause division by zero, that kind
// of thing.

#include <stdlib.h>

int main(void)
{
   free(malloc(0));
   free(malloc(0));
   free(malloc(0));
   free(malloc(0));
   free(malloc(0));
   free(malloc(0));
   free(malloc(0));
   free(malloc(0));
   free(malloc(0));
   free(malloc(0));
   return 0;
}