#! /usr/bin/gawk -f

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

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