%%% Taco Hoekwater: Die hard
% Here is a very short macro that immediately kills off a \TeX{} run,
% regardless of the current state of the \TeX{} engine, and issueing
% a {\it fatal error\/} message before it does so.

\def\die#1%
  {\immediate\write16{#1}
   \batchmode
   \input junkfilethatdoesntexist }
