\input plain
\input amstex
\dump
