- made (de-)serialization more consistent; - improved tracing keepOpen/flush pairs