void
stat_destroy_array(globus_gfs_stat_t * GFSStatArray, int Count)
{
int i;
for (i = 0; i < Count; i++)
{
stat_destroy(&(GFSStatArray[i]));
}
}
void gotcha_destroy(diagnostic_problem problem)
{
gotcha_destroy_input(problem);
stat_destroy();
}
void wff2obdd_destroy()
{
stat_destroy();
}