Tests for DefaultSerialization, now it passes