$index = int(rand($symbol_size));

##</code><code>##

foo();
while (1) {
  bar();
  foo();
}

##</code><code>##

while (1) {
  foo();
  bar();
}