xdc_print
static int xdc_print(void *, const char *);
(void)config_found(self, (void *)&xa, xdc_print, CFARGS_NONE);