--- /dev/null
+\section[SMcompacting-header]{Header file for SMcompacting}
+
+\begin{code}
+extern void LinkRoots PROTO((P_ roots[], I_ rootno));
+extern void LinkAStack PROTO((PP_ stackA, PP_ botA));
+extern void LinkBStack PROTO((P_ stackB, P_ botB));
+extern I_ CountCAFs PROTO((P_ CAFlist));
+
+extern void LinkCAFs PROTO((P_ CAFlist));
+\end{code}
+