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