NO_PREFIX         373 gc/cord/de.c   int repeat_count = NO_PREFIX;	/* Current command prefix. */
NO_PREFIX         438 gc/cord/de.c           } else if (repeat_count != NO_PREFIX) {
NO_PREFIX         442 gc/cord/de.c       if (repeat_count == NO_PREFIX) repeat_count = 1;
NO_PREFIX         534 gc/cord/de.c       repeat_count = NO_PREFIX;