| P(rdx int64) Union(size: 16) | |
| P(r8 int64) Union(size: 16) | |
| P(r9 int64) Union(size: 16) | |
| P(S+0 int64) Union(size: 16) | |
| P(S+8 int64) Union(size: 16) | |
| P(S+16 int64) Union(size: 16) | |
| P(S+24 int64) Union(size: 16) | |
| P(S+32 int64) Union(size: 16) | |
| P(S+40 int64) Union(size: 16) | |
| S+48 int8 | |
| P(S+56 int64) Union(size: 16) | |
| => | |
| P(rcx int64, ret:rax int64) Union(size: 16) |