print_mask_arg32
print_mask_arg32(sysdecode_cap_fcntlrights, arg);
void print_mask_arg32(bool (*decoder)(FILE *, uint32_t, uint32_t *),
print_mask_arg32(sysdecode_cap_fcntlrights, fp, rights);