@tubetime these instructions were also in Rockwell’s version of the 65C02. They’re also in the currently available W65C02 from WDC (although they weren’t in WDC’s original 65C02 back in the ’80s and they’re not in any version of the 65C816)