Given the state of undefined behavior in the standard, I'm inclined to agree with you. With that being said, can you recommend a modern language designed aroun

Given the state of undefined behavior in the standard, I'm inclined to agree with you. With that being said, can you recommend a modern language designed around a model of computation flexible enough to target e.g. non-flat memory models? I'm additionally interested in targeting MCUs with no ISA-supported stack and ~2KiB of RAM.