BUILD_DONE
-rwxr-xr-x  1 maxx  maxx  9240 Jul  3 12:26 divzero_proof
-rwxr-xr-x  1 maxx  maxx  9240 Jul  3 12:26 divzero_proof_fixed