MAXPKEYLEN
{ "PKEY", MAXPKEYLEN,
char pkeystr[MAXPKEYLEN];
(void) snprintf(pkeystr, MAXPKEYLEN, "%X",
(void) snprintf(pkeystr, MAXPKEYLEN, ",%X",