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