require_either_extension(EXT_ZBPBO, EXT_XZBT);
WRITE_RD((RS1 & RS2) | (RS3 & ~RS2));