drwxr-xr-x 5669 saferewrite-20211125/src/divmod14 14 filesdrwxr-xr-x 2812 noadiv 6 files drwxr-xr-x 2662 noadiv-buggy 6 files drwxr-xr-x 131 ref 1 file -rw-r--r-- 64 api