drwxr-xr-x 5637 saferewrite-20210904/src/decode_761xint32/ref 5 files-rw-r--r-- 81 api.h -rw-r--r-- 0 crypto_decode.h -rw-r--r-- 388 decode.c -rw-r--r-- 2584 goal-constbranch -rw-r--r-- 2584 goal-constindex