/* goodB2G() - use badsource and goodsink */
        private void GoodB2G(HttpRequest req, HttpResponse resp)
        {
            string data;

            data = ""; /* Initialize data */
            {
                try
                {
                    /* read string from file into data */
                    using (StreamReader sr = new StreamReader("data.txt"))
                    {
                        /* POTENTIAL FLAW: Read data from a file */

                        /* This will be reading the first "line" of the file, which
                         * could be very long if there are little or no newlines in the file */
                        data = sr.ReadLine();
                    }
                }
                catch (IOException exceptIO)
                {
                    IO.Logger.Log(NLog.LogLevel.Warn, exceptIO, "Error with stream reading");
                }
            }
            CWE113_HTTP_Response_Splitting__Web_File_setHeader_54b.GoodB2GSink(data, req, resp);
        }
        /* goodG2B() - use goodsource and badsink */
        private void GoodG2B(HttpRequest req, HttpResponse resp)
        {
            string data;

            /* FIX: Use a hardcoded string */
            data = "foo";
            CWE113_HTTP_Response_Splitting__Web_File_setHeader_54b.GoodG2BSink(data, req, resp);
        }