Gotta say, I like where Zig is going with undefined behaviour: https://ziglang.org/documentation/master/#Undefined-Behavior  (Short version: anything UB is detected at compile time or runtime unless you explicitly opt for the "performance at all cost" compilation option).