static Random predictableRandom() {
  ret new Random(0);
}