vrgiu_print
int vrgiu_print(void *, const char *);
while (config_found(self, &haa, vrgiu_print,
config_found(self, &haa, vrgiu_print,