I'd be inclined to put this logic in the parser, by having things like

```
something = byte:b -> (b >> 7) & 1, (b >> 3)  & 1, ...
```

or 

``
record  = byte:b  (-> b >> 7) & 1): answer (-> (b >> 3)  & 1):opCode  ...
```