(module
    (func (export "foo#a") unreachable)
)