prog: xor_EI