Pattern-defeating Quicksort. - Orson R. L. Peters (CoRR, 2021)