target triple = "wasm32-unknown-unknown"

define i64 @weakFn() #0 {
entry:
  ret i64 1
}