\documentclass{article}
\usepackage{axiom}
\begin{document}
\title{\$SPAD/src/input EXIT.input}
\author{The Axiom Team}
\maketitle
\begin{abstract}
\end{abstract}
\eject
\tableofcontents
\eject
<<*>>=

-- Input generated from ExitXmpPage
)clear all

n := 0
gasp(): Exit ==
    free n
    n := n + 1
    error "Oh no!"
half(k) ==
  if odd? k then gasp()
  else k quo 2
half 4
half 3
n
@
\eject
\begin{thebibliography}{99}
\bibitem{1} nothing
\end{thebibliography}
\end{document}