refresh           288 gc/cord/de.c       refresh();
refresh           326 gc/cord/de.c       refresh();
refresh           589 gc/cord/de.c       refresh();