void write_user_data(std::ostream& os, const UserData& userData) { write_string(os, userData.text()); write32(os, userData.color()); }