Assertion list for term "stored as 0x12 0x34 0x56 0x78".
Results from Ascent++: 3
value (aspect of function) → ReceivesAction → stored as 0x12 0x34 0x56 0x78 0.25
value (aspect of parameter) → ReceivesAction → stored as 0x12 0x34 0x56 0x78 0.25
value (aspect of variable) → ReceivesAction → stored as 0x12 0x34 0x56 0x78 0.25