Rounded_bytes
#define Ciphertexts_bytes Rounded_bytes
#define Ciphertexts_bytes (Rounded_bytes+Top_bytes)
#define PublicKeys_bytes (Seeds_bytes+Rounded_bytes)
Rounded_encode(c,B); c += Rounded_bytes;
Top_decode(T,c+Rounded_bytes);