define void @zed() { ret void }