drwxr-xr-x 14404 djbsort-20180710/verif 5 files
-rwxr-xr-x  4050 decompose
-rwxr-xr-x  7003 minmax
-rwxr-xr-x  1099 tryinput
-rwxr-xr-x  1265 unroll
-rwxr-xr-x   987 verifymany