drwxr-xr-x 172488 djbsort-20260127/int64 2 files + 1 link
drwxr-xr-x 171186 avx2 1 file + 1 link
drwxr-xr-x   1302 portable4 1 file + 0 links