target triple = "x86_64-unknown-linux-gnu"
define linkonce_odr hidden void @f() {
  ret void
}