drwxr-xr-x 41454 djbsort-20180729/int32 5 files
drwxr-xr-x 36580 avx2 1 file
drwxr-xr-x   566 portable3 1 file
drwxr-xr-x  1241 portable4 1 file
-rw-r--r--  1645 cycles.c
-rw-r--r--  1422 works.c