1
1
// Protocol Buffers - Google's data interchange format
2
2
// Copyright 2008 Google Inc. All rights reserved.
5
5
// Redistribution and use in source and binary forms, with or without
6
6
// modification, are permitted provided that the following conditions are