drwxr-xr-x 120 saferewrite-20241004/src/int32_positive_mask/supercop 1 file + 1 link
lrwxrwxrwx   0 fromsupercop.h -> ../../int32_max/supercop/fromsupercop.h
-rw-r--r-- 120 positive.c