> C that does the right thing based on assumptions about the platform is possible

What does that mean? "The right thing based on assumptions about the platform"?

I hope it's not "but we know what this will actually do on my platform", because I just wrote another blog post about how UB is not predictable: https://blog.habets.se/2026/10/Attention-people-who-think-UB...