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