text: typedef /*@only@*/ char *ocp;
  
  static /*@only@*/ ocp *stringTable;
  static int stringTableSize;
  
  void destroyMod (void)
       /*@globals killed stringTable@*/
  {
    int i;
  
    for (i = 0; i < stringTableSize; i++)
      {
        free (stringTable[i]);
      }
  
    free (stringTable); /* okay */
  }
  
  void destroyMod2 (void)
       /*@globals killed stringTable@*/
  {
    free (stringTable); /* error */
  }
  