detail_uint32_bitmap
detail_uint32_bitmap(flag, aceflag4_names, ACEFLAG4_NAMES_MAX);
detail_uint32_bitmap(mask, acemask4_names, ACEMASK4_NAMES_MAX);
static void detail_uint32_bitmap(uint32_t, char *[], int);