drwxr-xr-x 41454 djbsort-20180729/int32 5 filesdrwxr-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