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