drwxr-xr-x 41479 djbsort-20190516/int32 6 files
drwxr-xr-x 36590 avx2 2 files
drwxr-xr-x   566 portable3 1 file
drwxr-xr-x  1241 portable4 1 file
-rw-r--r--  1660 cycles.c
-rw-r--r--  1422 works.c