drwxr-xr-x 1657 saferewrite-20241004/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