#! /usr/bin/gawk -f

# Reads a ".csdf" file from {stdin}.  Writes to {stderr} the number of files
# and their total size.

//{ s += $2; n++; } 
END{ 
  printf "%12d files %14d bytes\n", n, s > "/dev/stderr" 
}