drwxr-xr-x 24620 djbsort-20180710/int32 7 files
drwxr-xr-x 16759 avx2 1 file
drwxr-xr-x  1464 portable1 1 file
drwxr-xr-x  1464 portable2 1 file
drwxr-xr-x   729 portable3 1 file
drwxr-xr-x  1408 portable4 1 file
-rw-r--r--  1645 cycles.c
-rw-r--r--  1151 works.c