drwxr-xr-x 1937 djbsort-20260127/float64down 2 files + 1 link
drwxr-xr-x 1412 avx2useint64 1 file + 1 link
drwxr-xr-x  525 useint64 1 file + 0 links