Top_bytes
for (i = 0;i < Top_bytes;++i)
for (i = 0;i < Top_bytes;++i) {
#define Ciphertexts_bytes (Rounded_bytes+Top_bytes)