-/* Computes a 16-byte session id in the global variable session_id.
- The session id is computed by concatenating the linearized, msb
- first representations of host_key_n, session_key_n, and the cookie. */
-void
-compute_session_id(unsigned char session_id[16],
- unsigned char cookie[8],
- BIGNUM * host_key_n,
- BIGNUM * session_key_n);
+void compute_session_id(u_char[16], u_char[8], BIGNUM *, BIGNUM *);