Is this not used for any serialization any more? I thought the on-disk format uses this.