drwxr-xr-x 5208 saferewrite-20210915/src/decode_256x2/ref 5 files
-rw-r--r--   79 api.h
-rw-r--r--    0 crypto_decode.h
-rw-r--r--  169 decode.c
-rw-r--r-- 2480 goal-constbranch
-rw-r--r-- 2480 goal-constindex