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