(func (export "\f8\23"))