drwxr-xr-x 2816 saferewrite-20240807/src/decode_761xint16/little 3 files + 2 links
lrwxrwxrwx    0 api.h -> ../ref/api.h
-rw-r--r--   36 crypto_decode.h
-rw-r--r--  157 decode.c
lrwxrwxrwx    0 goal-constbranch -> goal-constindex
-rw-r--r-- 2623 goal-constindex