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