public void Write(Writer writer)
 {
     if (val != null)
     {
         val.Write(writer);
     }
 }