define weak_odr void @f() {
  ret void
}