aref/random-int -> random-choice