Come on don't make fun of me. I checked the bit bucket already and it is in fact full of 0C3 ;-)
found other oddities: like BCTGR having an opcode of B9 46 surrounded by lots of floating-point instructions....but it could at least (IMHO) be attributed to efforts to keep the X'46' from original BCT. -- Martin Pi_cap_CPU - all you ever need around MWLC/SCRT/CMT in z/VSE more at http://www.picapcpu.de