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