// retrieves url with HEAD. returns content length,
// or -1 in case of error.
static long urlSizeByHEAD(String url) {
  ret getURLSizeByHEAD(url);
}