code: private String toCidrNotation(String addr, String mask) {
          return addr + "/" + pop(toInteger(mask));
      }
docs: /* Convert two dotted decimal addresses to a single xxx.xxx.xxx.xxx/yy format
  by counting the 1-bit population in the mask address. (It may be better to count
  NBITS-#trailing zeroes for this case)