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