drwxr-xr-x 1187 libntruprime-20240825/src/verify/BYTES 2 files + 1 link
drwxr-xr-x  892 avx 1 file + 1 link
drwxr-xr-x  295 ref 1 file + 0 links