drwxr-xr-x 4664 saferewrite-20241004/src/divmod14 10 files + 4 links
drwxr-xr-x 2812 noadiv 6 files + 0 links
drwxr-xr-x 1657 noadiv-buggy 2 files + 4 links
drwxr-xr-x  131 ref 1 file + 0 links
-rw-r--r--   64 api