drwxr-xr-x 5492 saferewrite-20210915/src/encode_761xint16/ref 5 files
-rw-r--r--   81 api.h
-rw-r--r--    0 crypto_encode.h
-rw-r--r--  243 encode.c
-rw-r--r-- 2584 goal-constbranch
-rw-r--r-- 2584 goal-constindex