read_token
void read_token (int sock, gss_buffer_t buf);
read_token (sock, input_token);
read_token (pipefd[0], &buf);
read_token (sock, input_token);
read_token (sock, input_token);
read_token (pipefd[0], &buf);
read_token (sock, input_token);
read_token (sock, output_token);
read_token (sock, input_token);