PI_FPUTYPE
(void) strlcpy(vbuf, cpu_info.pi_fputypes, PI_FPUTYPE);
PICL_PTYPE_CHARSTRING, (PICL_READ|PICL_VOLATILE), PI_FPUTYPE,
char pi_fputypes[PI_FPUTYPE]; /* ASCII FPU types */