drwxr-xr-x 4664 saferewrite-20240622/src/divmod14 10 files + 4 linksdrwxr-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