292   PetscImageList image = SAWs_images;  in PetscImageListDestroy()  local
295   while (image) {  in PetscImageListDestroy()
296     PetscImageList next = image->next;  in PetscImageListDestroy()
297     PetscCall(PetscFree(image->filename));  in PetscImageListDestroy()
298     PetscCall(PetscFree(image->ext));  in PetscImageListDestroy()
299     PetscCall(PetscFree(image));  in PetscImageListDestroy()
300     image = next;  in PetscImageListDestroy()
307   PetscImageList image, oimage = SAWs_images;  in PetscImageListAdd()  local
325     PetscCall(PetscNew(&image));  in PetscImageListAdd()
326     oimage->next = image;  in PetscImageListAdd()
329     PetscCall(PetscNew(&image));  in PetscImageListAdd()
330     SAWs_images = image;  in PetscImageListAdd()
332   PetscCall(PetscStrallocpy(filename, &image->filename));  in PetscImageListAdd()
333   PetscCall(PetscStrallocpy(ext, &image->ext));  in PetscImageListAdd()
334   image->count = count;  in PetscImageListAdd()
340   PetscImageList image;  in PetscDrawSave_SAWs()  local
347   image = SAWs_images;  in PetscDrawSave_SAWs()
348   while (image) {  in PetscDrawSave_SAWs()
349     const char *name = image->filename;  in PetscDrawSave_SAWs()
350     const char *ext  = image->ext;  in PetscDrawSave_SAWs()
354 …f(body + len, 4086 - len, "<img src=\"%s/%s_%d%s\" alt=\"None\">", name, name, image->count, ext));  in PetscDrawSave_SAWs()
357     image = image->next;  in PetscDrawSave_SAWs()