detail_access4
detail_access4("Access bits", args->access);
detail_access4("Supported Attributes",
detail_access4("Allowed Attributes",
static void detail_access4(char *, uint32_t);