Use random_permutation_event_queue API (currently buggy)