drwxr-xr-x 1657 saferewrite-20240620/src/divmod14/noadiv-buggy 2 files + 4 links
-rw-r--r--   69 README
lrwxrwxrwx    0 uint16.h -> ../noadiv/uint16.h
-rw-r--r-- 1588 uint32.c
lrwxrwxrwx    0 uint32.h -> ../noadiv/uint32.h
lrwxrwxrwx    0 uint64.h -> ../noadiv/uint64.h
lrwxrwxrwx    0 wrapper.c -> ../noadiv/wrapper.c