SSH_ERR_KRL_BAD_MAGIC
if (r != SSH_ERR_KRL_BAD_MAGIC)
return SSH_ERR_KRL_BAD_MAGIC;
case SSH_ERR_KRL_BAD_MAGIC: