int x = 0;
while (rand(0,1) == 0) {
  print(x);
  x = x + 1;
}