1%t = type {i32, float}
2define void @foo(<4 x %t*> %x) {
3  ret void
4}
5