| M(r0 int64) Union(size: 5) | |
| M(r1 int64) Union(size: 5) | |
| M(r2 int64) Union(size: 5) | |
| M(r3 int64) Union(size: 5) | |
| M(r4 int64) Union(size: 5) | |
| M(r5 int64) Union(size: 5) | |
| M(r6 int64) Union(size: 5) | |
| M(r7 int64) Union(size: 5) | |
| M(S+0 int64) Union(size: 5) | |
| M(S+8 int64) Union(size: 5) | |
| => | |
| M(r0 int64) Union(size: 5) |