Lightweight, efficient, binary serialization and deserialization codec