2.5.19. Overlay

TODO.

2.5.19.1. Instruction

overlay.attach op1 op2 [overlay::Attach]

Operator 1:overlay Operator 2:iterator<bytes>

Associates the overlay in op1 with a bytes object, aligning the overlays offset 0 with the position specified by op2. The attach operation must be performed before any other overlay instruction is used on op1.

target = overlay.get op1 op2 op3 [overlay::GetStatic]

Target:any Operator 1:overlay Operator 2:string Operator 3:ref<bytes>

Unpacks the field named op2 of overlay type op1 from the bytes object op3. This is a stateless variant of the get instructions that does not need an actual overlay instance. However, it requires that the overlay type must not have any fields at variable offsets.