(sign, do_encrypt, gen_k): Make sure that a small K is