drwxr-xr-x 2649 saferewrite-20241004/src/decode_256x2/ref 3 files + 2 links
lrwxrwxrwx    0 api.h -> ../avx/api.h
-rw-r--r--    0 crypto_decode.h
-rw-r--r--  169 decode.c
lrwxrwxrwx    0 goal-constbranch -> goal-constindex
-rw-r--r-- 2480 goal-constindex