Rounded_decode
Rounded_decode(c,C);
Rounded_decode(A,pk+Seeds_bytes);
Rounded_decode(B,c);
Rounded_decode(c, C);