drwxr-xr-x 5456 saferewrite-20240515/src/decode_761x3/ref 5 files + 0 links-rw-r--r-- 80 api.h -rw-r--r-- 0 crypto_decode.h -rw-r--r-- 416 decode.c -rw-r--r-- 2480 goal-constbranch -rw-r--r-- 2480 goal-constindex