static byte[] randomBytes(int n) { byte[] l = new[n]; for i to n: l[i] = randomByte(); ret l; }