[patrulek]

But it would be also possible that sentinel value used for comparison changed because of bitflip, not data structure used by program.

[rincebrain]

Detecting that is the point, yes.