define void @f2() {
  call void @f3()
  ret void
}

define void @f3() {
  ret void
}