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