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