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