laser/mpi/util/shuffle
