define void @foo() {
entry:
  ret void
}