PT_POOL
pt_to_str(PT_POOL));
pt_to_str(PT_POOL), pool);
pt_to_str(PT_POOL), rt_to_str(RT_DCPU));
case PT_POOL:
} else if (prop_type == PT_POOL) {
(void) fprintf(fp, "%s: %s\n", pt_to_str(PT_POOL), pool);
| POOL { $$ = PT_POOL; }