DEVPLCY_TKN_WRP
(void) printf("\t"DEVPLCY_TKN_WRP"=%s\n", ss);
{ DEVPLCY_TKN_WRP, PSET /* offsetof(devplcysys_t, dps_wrp) */ },