I’ve thought about adding such things to Fil-C but have held off on going there because it feels like a bridge too far. What I mean by that is: the memory safe

I’ve thought about adding such things to Fil-C but have held off on going there because it feels like a bridge too far. What I mean by that is: the memory safety issues of C are a total dumpster fire, while whether a number is even or not (and whether you can prove that) is maybe like icing on the dumpster fire. It just doesn’t matter by comparison. So I want to decisively fix the memory safety issues and not lose focus.