flat-0.2: Principled and efficient bit-oriented binary serialization.