Seeds_bytes
#define PublicKeys_bytes (Seeds_bytes+Rounded_bytes)
XKeyGen(pk,A,a); pk += Seeds_bytes;
Rounded_decode(A,pk+Seeds_bytes);
randombytes(s,Seeds_bytes);