Binary serialization / deserialization where you don't control the format

public static string ReadPascalString(BinaryReader reader) => System.Text.Encoding.UTF8.GetString(reader.ReadBytes(reader.ReadUInt16()));
public static void WritePascalString(BinaryWriter writer, string s)
{
    writer.Write((ushort)s.Length);
    writer.Write(System.Text.Encoding.UTF8.GetBytes(s));
}
[Serializable]
public readonly record struct HeaderChunk(
    string Name,
    string Type,
    int ID,
    int ReferenceID,
    bool Visible,
    bool Locked,
    uint Color,
    float PivotX,
    float PivotY,
    float PivotZ) : ISerializable
{
    public static HeaderChunk Read(Stream stream)
    {
        BinaryReader reader = new(stream);
        return new(
            Name: ReadPascalString(reader),
            Type: ReadPascalString(reader),
            ID: reader.ReadUInt16(),
            ReferenceID: reader.ReadUInt16(),
            Visible: reader.ReadBoolean(),
            Locked: reader.ReadBoolean(),
            Color: reader.ReadUInt32(),
            PivotX: reader.ReadSingle(),
            PivotY: reader.ReadSingle(),
            PivotZ: reader.ReadSingle());
    }

    public void GetObjectData(SerializationInfo info, StreamingContext context)
    {
        throw new NotImplementedException();//Help?
    }

    public void Write(Stream stream)
    {
        BinaryWriter writer = new(stream);
        WritePascalString(writer, Name);
        WritePascalString(writer, Type);
        writer.Write(ID);
        writer.Write(ReferenceID);
        writer.Write(Visible);
        writer.Write(Locked);
        writer.Write(Color);
        writer.Write(PivotX);
        writer.Write(PivotY);
        writer.Write(PivotZ);
    }
}