drwxr-xr-x 23880 djbsort-20180717/int32 7 files
drwxr-xr-x 16562 avx2 1 file
drwxr-xr-x  1341 portable1 1 file
drwxr-xr-x  1318 portable2 1 file
drwxr-xr-x   583 portable3 1 file
drwxr-xr-x  1280 portable4 1 file
-rw-r--r--  1645 cycles.c
-rw-r--r--  1151 works.c