sha_mpint(&s, K);
if (!(ssh_remote_bugs & BUG_SSH2_DERIVEKEY)) sha_mpint(&s, K);
static void ssh2_mkkey(Bignum K, char *H, char *sessid, char chr,		       char *keyspace){    SHA_State s;    /* First 20 bytes. */    SHA_Init(&s);    sha_mpint(&s, K);    SHA_Bytes(&s, H, 20);    SHA_Bytes(&s, &chr, 1);    SHA_Bytes(&s, sessid, 20);    SHA_Final(&s, keyspace);    /* Next 20 bytes. */    SHA_Init(&s);    sha_mpint(&s, K);    SHA_Bytes(&s, H, 20);    SHA_Bytes(&s, keyspace, 20);    SHA_Final(&s, keyspace + 20);}