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)