print_uint32x
{ 0x0000, "ServiceRecordHandle", print_uint32x },
{ 0x0002, "ServiceRecordState", print_uint32x },
{ 0x0201, "ServiceDatabaseState", print_uint32x },
static void print_uint32x(sdp_data_t *);