(func (export "\c1\80"))