rem: if (min == max) { printf(":%s", inv); printf("%u", min); } else { printf("s:%s", inv); printf("%u",min); printf(":"); printf("%u",max); } printf(" ");
add: if (min == max) printf(":%s%u ", inv, min); else printf("s:%s%u:%u ", inv, min, max);
context: print_ids(const char *name, u_int32_t min, u_int32_t max,	    int invert){	const char *inv = invert ? "!" : "";	if (min != 0 || max != 0xFFFFFFFF || invert) {		printf("%s", name);		if (min == max) {			printf(":%s", inv);			printf("%u", min);		} else {			printf("s:%s", inv);			printf("%u",min);			printf(":");			printf("%u",max);		}		printf(" ");	}}