> I do know that making it harder to do weird things like using bitwise-and in a branch predicate with something other than a constant mask adds an extra layer

> I do know that making it harder to do weird things like using bitwise-and in a branch predicate with something other than a constant mask adds an extra layer of defense. Sure, and perhaps I was mistaken in saying this isn't due to C++'s footguns. The & / && operators do look similar. Ada uses and / and then, which is more distinctive.