drwxr-xr-x 12383 saferewrite-20210904/src/core_weightsntrup761 18 filesdrwxr-xr-x 6022 avx 9 files drwxr-xr-x 6290 ref 8 files -rw-r--r-- 71 api