tx39sib_print
config_attach(parent, cf, &sa, tx39sib_print, CFARGS_NONE);
int tx39sib_print(void *, const char *);