done              139 gc/cord/cordprnt.c 	    goto done;
done              146 gc/cord/cordprnt.c   done:
done              207 gc/cord/cordprnt.c             	    	goto done;
done              231 gc/cord/cordprnt.c             	    	goto done;
done              238 gc/cord/cordprnt.c 			    goto done;
done              249 gc/cord/cordprnt.c 			    goto done;
done              330 gc/cord/cordprnt.c               done:;
done              283 gc/cord/de.c               if (need_redisplay == i) goto done;
done              287 gc/cord/de.c   done:
done              586 gc/cord/de.c   done: