type_Verify
ep = type_Verify(dp->d_type);
static const char *type_Verify(type_t *);
const char *sp = type_Verify($1->d_type);
const char *sp = type_Verify($3->d_type);