def _unpack_key(key):
    return key >> 3, key & 7

# This used to correctly determine the length of unknown tags when loading a message.
Try some proofs and exhibit the results.
dataset/ETHPy150Open eigenein/protobuf/protobuf.py/_unpack_key--crossover with--dataset/ETHPy150Open nltk/nltk/nltk/inference/prover9.py/test_prove