[eru]

Something like QuickSelect is probably better in practice than median-of-medians.