public void get_header_value()
{
theRecordedOutput.GetHeaderValue(HttpResponseHeaders.ETag).ShouldBeNull();
theRecordedOutput.AppendHeader(HttpResponseHeaders.ETag, "12345");
theRecordedOutput.GetHeaderValue(HttpResponseHeaders.ETag).ShouldEqual("12345");
}