230 delete_string (string_type *buffer)  in delete_string()  function
345   delete_string (tos + 1);  in drop()
753   delete_string (tos);  in bulletize()
791   delete_string (tos);  in do_fancy_stuff()
944   delete_string (tos);  in kill_bogus_lines()
977   delete_string (tos);  in collapse_whitespace()
1039   delete_string (tos);  in indent()
1087   delete_string (tos + 1);  in icatstr()
1105   delete_string (tos);  in maybecatstr()
1119   delete_string (tos);  in catstrif()
1610 	      delete_string (&b);  in main()
1626   delete_string (&pptr);  in main()
1627   delete_string (&buffer);  in main()