| 17 | |
| 18 | @dataclass |
| 19 | class AllocationDetails: |
| 20 | memory_id: int |
| 21 | # Low 32 bits |
| 22 | memory_offset_low: int |
| 23 | # High 32 bits (typically zero) |
| 24 | memory_offset_high: int |
| 25 | |
| 26 | @property |
| 27 | def memory_offset(self) -> int: |
| 28 | return self.memory_offset_low | (self.memory_offset_high << 32) |
| 29 | |
| 30 | |
| 31 | @dataclass |
no outgoing calls