krb5int_ipc_stream_write_string
err = krb5int_ipc_stream_write_string (io_stream, in_v5creds->client);
err = krb5int_ipc_stream_write_string (io_stream, in_v5creds->server);
err = krb5int_ipc_stream_write_string (io_stream, in_identifier->server_id);
err = krb5int_ipc_stream_write_string (io_stream, in_identifier->object_id);
err = krb5int_ipc_stream_write_string (request, in_principal);
err = krb5int_ipc_stream_write_string (request, in_name);
err = krb5int_ipc_stream_write_string (request, in_name);
err = krb5int_ipc_stream_write_string (request, in_principal);
err = krb5int_ipc_stream_write_string (request, in_principal);
err = krb5int_ipc_stream_write_string (request, in_principal);
err = krb5int_ipc_stream_write_string (io_reply_data,
err = krb5int_ipc_stream_write_string (io_stream, in_ccache->name);
err = krb5int_ipc_stream_write_string (io_reply_data, io_ccache->name);
err = krb5int_ipc_stream_write_string (io_reply_data, io_ccache->v5_principal);
uint32_t krb5int_ipc_stream_write_string (k5_ipc_stream io_stream,