get_range
get_range(bitstr_t *, int, int, char *[], int, FILE *),
ch = get_range(bits, low, high, names, ch, file);