(module
  (func (export "bar#foo") (result i32)
    unreachable
  )
)