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