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