- | b0 : 1; b1 : 1; b2 : 1; b3 : 1; b4 : 1; b5 : 1; b6 : 1; b7 : 1;
- b8 : 1; b9 : 1; b10 : 1; b11 : 1; b12 : 1; b13 : 1; b14 : 1; b15 : 1;
- b16 : 1; b17 : 1; b18 : 1; b19 : 1; b20 : 1; b21 : 1; b22 : 1; b23 : 1;
- rest : -1 : bitstring ->
- assert (not b0 && b1 && not b2 && b3 && b4 && not b5 && b6 && not b7);
- assert (not b8 && b9 && not b10 && b11 && b12 && not b13 && b14 && not b15);
- assert (not b16 && b17 && not b18 && b19 && b20 && not b21 && b22 && not b23);
+ | { b0 : 1; b1 : 1; b2 : 1; b3 : 1; b4 : 1; b5 : 1; b6 : 1; b7 : 1;
+ b8 : 1; b9 : 1; b10 : 1; b11 : 1; b12 : 1; b13 : 1; b14 : 1; b15 : 1;
+ b16 : 1; b17 : 1; b18 : 1; b19 : 1; b20 : 1; b21 : 1; b22 : 1; b23 : 1;
+ rest : -1 : bitstring } ->
+ assert (not b0 && b1 && not b2 && b3 && (* 0x5 *)
+ b4 && not b5 && b6 && not b7); (* 0xA *)
+ assert (not b8 && b9 && not b10 && b11 && (* 0x5 *)
+ b12 && not b13 && b14 && not b15); (* 0xA *)
+ assert (not b16 && b17 && not b18 && b19 && (* 0x5 *)
+ b20 && not b21 && b22 && not b23); (* 0xA *)