June 14, 1994; Ralph E. Griswold
This file is in the public domain.
This program lists the headers of Icon programs whose file names are
given on the command line. It complains if the header does not start
correctly but otherwise does not check the syntax of what follows.