dangling_pointer (ppchar -w ptr)
           where (ptr :: *)         
{
  string = alloc (&_, T_CHARS, "Text String");

  *ptr = &string[3];                                                           /* "Reuse after free()" */
}
/
{
  free (&string);
}