deserialize_header()