drwxr-xr-x 2955 saferewrite-20240620/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