drwxr-xr-x 2896 saferewrite-20240622/src/decode_761x3/ref 3 files + 2 linkslrwxrwxrwx 0 api.h -> ../avx/api.h -rw-r--r-- 0 crypto_decode.h -rw-r--r-- 416 decode.c lrwxrwxrwx 0 goal-constbranch -> goal-constindex -rw-r--r-- 2480 goal-constindex