start
hide section FILENAME
hide section COPYRIGHT
print prelude
print title
print synopsis
print section CLASS TYPE
print section AUDIENCE
print section DESCRIPTION
print section EXAMPLE
print contract *
print section *
print section NOTES
print section PORTABILITY
print section SEE ALSO
print section LIBRARY
print section VERSION
print section DATE RELEASED
print section RCSID
print section SCCSID
print section AUTHOR(S)
print copyright
end