krb5int_ipc_stream_write_int32
err = krb5int_ipc_stream_write_int32 (reply, in_error);
uint32_t krb5int_ipc_stream_write_int32 (k5_ipc_stream io_stream,