drwxr-xr-x 12723 saferewrite-20210904/src/core_scale3sntrup761 20 files
drwxr-xr-x  5657 avx 8 files
drwxr-xr-x  6991 ref 11 files
-rw-r--r--    75 api