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