(module
  (func (export "name#a"))
)