rem: fputc('!', stdout);
add: printf("! ");
context: print_realm(unsigned long id, unsigned long mask, int invert, int numeric){	if (invert)		fputc('!', stdout);	if(mask != 0xffffffff)		printf("0x%lx/0x%lx ", id, mask);	else		printf("0x%lx ", id);}