static byte[] arrayOfAllBytes() {
  byte[] x = new[256];
  for i to 256: x[i] = (byte) i;
  ret x;
}