define void @foo(i32 %x) { ret void }