/* Generate an execution path event within a header.  */
free (ptr);