text: // semmle-extractor-options: ${testdir}/../../../resources/stubs/System.Web.cs /r:System.Collections.Specialized.dll
  
  using System;
  using System.Web;
  using System.Web.UI;
  using System.Web.UI.WebControls;
  
  namespace Test
  {
  
      class CodeBehindPage : Page
      {
          public string chooseImage()
          {
              return "some url";
          }
      }
  }
  