drwxr-xr-x 2827 saferewrite-20240807/src/encode_761xint16/ref 3 files + 2 links
lrwxrwxrwx    0 api.h -> ../../decode_761xint16/ref/api.h
-rw-r--r--    0 crypto_encode.h
-rw-r--r--  243 encode.c
lrwxrwxrwx    0 goal-constbranch -> goal-constindex
-rw-r--r-- 2584 goal-constindex