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