The following is a plain TeX (Unix) file.
BODY