(module
  (import "other-name" "a" (func (result i32)))
)