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