#include <stdio.h>
#include <stdlib.h>
#include <string.h>

int main(void) 
{
   int SIZE = 10;
   char * ptr = (char*) malloc (SIZE);

   int abort = 1;

   if (abort)
      free(ptr);

   free(ptr);
   return 0;
}