I’ll have to read up on that, because I’ve seen nothing like that.

I compile with ARM’s GCC toolchain, nothing exotic about compile time or other safety checks on C code.