drwxr-xr-x 217044 djbsort-20260127/int32 4 files + 0 links
drwxr-xr-x 215101 avx2 2 files + 0 links
drwxr-xr-x    641 portable3 1 file + 0 links
drwxr-xr-x   1302 portable4 1 file + 0 links