static byte[] repByte(int n, int b) {
  ret repByte(n, (byte) b);
}

static byte[] repByte(int n, byte b) {
  byte[] a = new[n];
  for i to n: a[i] = b;
  ret a;
}