pub fn test_get_with_proof_with_distinct_last_nibble<V: TestValue>(
    (kv1, kv2): ((HashValue, V), (HashValue, V))
)