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