target triple = "x86_64-unknown-linux-gnu"
define weak void @weakfunc() {
entry:
  ret void
}