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

static long urlSize(URL url) {
  ret urlSize(str(url));
}