$x=pick_some_big_number();
  $a[$x]=0;