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