Yeah for the reasons you stated I would want to C, but with a better type system, no UB, some of the foot guns removed, and maybe some cool static analysis for

Yeah for the reasons you stated I would want to C, but with a better type system, no UB, some of the foot guns removed, and maybe some cool static analysis for stuff like invariants and stack size guarantees built in.