verbout_t
static verbout_t vcommon[] = {
static verbout_t vprocess[] = {
static verbout_t vdevice[] = {
print_verbose(ct_stathdl_t hdl, verbout_t *spec, verbout_t *common)
verbout_t *verbout;
print_contract(const char *dir, ctid_t id, verbout_t *spec,
verbout_t *vo = cttypes[typeno].verbout;