- [ -15 shift BIN: 1 bitand ]
- [ -11 shift BIN: 111 bitand <dns-opcode> ]
- [ -10 shift BIN: 1 bitand ]
- [ -9 shift BIN: 1 bitand ]
- [ -8 shift BIN: 1 bitand ]
- [ -7 shift BIN: 1 bitand ]
- [ -4 shift BIN: 111 bitand ]
- [ BIN: 1111 bitand <dns-rcode> ]
+ [ -15 shift 0b1 bitand ]
+ [ -11 shift 0b111 bitand <dns-opcode> ]
+ [ -10 shift 0b1 bitand ]
+ [ -9 shift 0b1 bitand ]
+ [ -8 shift 0b1 bitand ]
+ [ -7 shift 0b1 bitand ]
+ [ -4 shift 0b111 bitand ]
+ [ 0b1111 bitand <dns-rcode> ]