replacing: ori -> XorPImm