Rounded_encode
Rounded_encode(C,c);
Rounded_encode(pk,A);
Rounded_encode(c,B); c += Rounded_bytes;
Rounded_encode(C, c);