drwxr-xr-x 5868 saferewrite-20210903/src/encode_761xfreeze3/ref 5 files-rw-r--r-- 80 api.h -rw-r--r-- 0 crypto_encode.h -rw-r--r-- 516 encode.c -rw-r--r-- 2636 goal-constbranch -rw-r--r-- 2636 goal-constindex