drwxr-xr-x 3150 djbsort-20180717/uint32 3 filesdrwxr-xr-x 337 useint32 1 file -rw-r--r-- 1649 cycles.c -rw-r--r-- 1164 works.c