int serialization and deserialization works