cci_message_read_reply_header
cc_int32 cci_message_read_reply_header (k5_ipc_stream in_reply,
err = cci_message_read_reply_header (reply, &reply_error);