M(a0 int64) Union(size: 5)
M(a1 int64) Union(size: 5)
M(a2 int64) Union(size: 5)
M(a3 int64) Union(size: 5)
M(a4 int64) Union(size: 5)
M(a5 int64) Union(size: 5)
M(a6 int64) Union(size: 5)
M(a7 int64) Union(size: 5)
M(S+0 int64) Union(size: 5)
M(S+8 int64) Union(size: 5)
=>
M(a0 int64) Union(size: 5)