while(1) {
  $rand = int(rand(32));
  ...
}