(func (export "\ed\bf\80"))