drwxr-xr-x 16562 djbsort-20180717/int32/avx2 1 file
-rw-r--r-- 16562 sort.c