define void @foo() {
  ret void
}