drwxr-xr-x 41479 djbsort-20190516/int32 6 filesdrwxr-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