these two cases can only ever match when the and-check was pointless, because if either of OP_READ or OP_WRITE was set these case statements will not be reached