static public int downFile(IntPtr l)
 {
     try {
         WebClientEx   self = (WebClientEx)checkSelf(l);
         System.String a1;
         checkType(l, 2, out a1);
         System.String a2;
         checkType(l, 3, out a2);
         self.downFile(a1, a2);
         pushValue(l, true);
         return(1);
     }
     catch (Exception e) {
         return(error(l, e));
     }
 }