drwxr-xr-x 19886 saferewrite-20210903/src/decode_761x4591/int16 7 files
-rw-r--r--    91 Makefile
-rw-r--r--    81 api.h
-rw-r--r--    36 crypto_decode.h
-rw-r--r--  7823 decode.c
-rwxr-xr-x  6687 decodegen.py
-rw-r--r--  2584 goal-constbranch
-rw-r--r--  2584 goal-constindex