blob: bf69517829e682f501a1d5e45ff1d434097d4dfc [file]
:- '$benchmark'(qsort, 1000, qsort, '$dummy').