Assertion: byte | /r/AtLocation | 32-bit words
Facets:
value: with the upper 24 bits unset
type: OTHER
Source sentences:
text: Let's say the native type of the CPU is a 32-bit word (and that that datatype is what is used for the add operation); that means these bytes will be stored in 32-bit words with the upper 24 bits unset; the add operation will indeed do the overflow in the target 32-bit word.