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