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