const max_ciphertext_len: type = (1 << 14) + 256;