Ciphertexts_bytes
#define Ciphertexts_bytes Rounded_bytes
#define Ciphertexts_bytes (Rounded_bytes+Top_bytes)