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