v1 = (int *) malloc (5 * sizeof(*v1));
       if (NULL == v1) {
              perror ("malloc");
              exit (EXIT_FAILURE);
       }
       
       /* overflow */
       v1[6] = 100;
       
       free(v1);
       
       /* write after free */
       v1[6] = 100;