(func (export "\c0\80"))