serialization correctness check