BARE_PREFIX       434 gc/cord/de.c         	repeat_count = BARE_PREFIX; return;
BARE_PREFIX       436 gc/cord/de.c           if (repeat_count == BARE_PREFIX) {
BARE_PREFIX       443 gc/cord/de.c       if (repeat_count == BARE_PREFIX && (c == UP || c == DOWN)) {
BARE_PREFIX       446 gc/cord/de.c       if (repeat_count == BARE_PREFIX) repeat_count = 8;