drwxr-xr-x 2955 saferewrite-20240807/src/decode_761xint16/ref 4 files + 1 link-rw-r--r-- 81 api.h -rw-r--r-- 0 crypto_decode.h -rw-r--r-- 290 decode.c lrwxrwxrwx 0 goal-constbranch -> goal-constindex -rw-r--r-- 2584 goal-constindex