drwxr-xr-x 5669 saferewrite-20240515/src/divmod14 14 files + 0 linksdrwxr-xr-x 2812 noadiv 6 files + 0 links drwxr-xr-x 2662 noadiv-buggy 6 files + 0 links drwxr-xr-x 131 ref 1 file + 0 links -rw-r--r-- 64 api