drwxr-xr-x 4962 saferewrite-20240515/src/encode_761xfreeze3/avx 6 files + 0 links-rw-r--r-- 80 api.h -rw-r--r-- 10 architectures -rw-r--r-- 0 crypto_encode.h -rw-r--r-- 736 encode.c -rw-r--r-- 2068 goal-constbranch -rw-r--r-- 2068 goal-constindex