Use random_permutation_event_queue API (buggy)