drwxr-xr-x 30443 saferewrite-20210904/src/core_wforcesntrup761 44 filesdrwxr-xr-x 7830 avx 13 files drwxr-xr-x 6741 ref 6 files drwxr-xr-x 8191 ref2 12 files drwxr-xr-x 7608 simpler 12 files -rw-r--r-- 73 api