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