getxdr_hex
extern char *getxdr_hex(int);
p = getxdr_hex(len);
handle = getxdr_hex(handle_len);
checksum = getxdr_hex(checksum_len);
(void) getxdr_hex(token_len);
handle = getxdr_hex(handle_len);
(void) getxdr_hex(token_len);