drwxr-xr-x 1272 djbsort-20260127/uint32down 2 files + 1 link
drwxr-xr-x  970 avx2useint32 1 file + 1 link
drwxr-xr-x  302 useint32 1 file + 0 links