\pagestyle{myheadings}
\setlength{\oddsidemargin}{0in}
\setlength{\evensidemargin}{0in}
\setlength{\topmargin}{-.5in}
\setlength{\textheight}{9in}
\setlength{\parskip}{.1in}
\setlength{\textwidth}{6.5in}
\setcounter{secnumdepth}{-3}
\setcounter{tocdepth}{3}

\renewcommand{\theenumii}{\arabic{enumii}}
\def\labelenumii{\theenumii .}
\renewcommand{\theenumiii}{\arabic{enumiii}}
\def\labelenumiii{\theenumiii .}
\renewcommand{\theenumiv}{\arabic{enumiv}}
\def\labelenumiv{\theenumiv .}

\newcommand{\indented}{ %\hspace*{.25in}\parbox{-.25in}}
}

\newcommand{\cluster}[2]{\noindent #1 = {\bf cluster is} \parbox[t]{4.75in}{\raggedright #2}}
\newcommand{\datatype}[2]{\noindent #1 = {\bf data type is} \parbox[t]{4.75in}{\raggedright #2}}
\newcommand{\overview}{\noindent {\bf Overview}}
\newcommand{\operations}{\noindent {\bf Operations}}
\newcommand{\effects}[1]{{\bf Effects}: \parbox[t]{4.75in}{#1} \\}
\newcommand{\returns}[1]{{\bf returns} (#1)}
\newcommand{\signals}[1]{{\bf signals} (#1)}
\newcommand{\proc}[1]{{\bf proc} (#1)}
\newcommand{\iter}[1]{{\bf iter} (#1)}
\newcommand{\yields}[1]{{\bf yields} (#1)}
\newcommand{\modifies}[1]{{\bf Modifies}: #1}
\newcommand{\requires}[1]{{\bf Requires}: #1}
\newcommand{\ecluster}[1]{\noindent {\bf end} #1}

\newcommand{\sechead}[3]{\begin{center} {\Large #1} \end{center}
\markright{#2} \addcontentsline{toc}{section}{#3}
\thispagestyle{plain}}

\newcommand{\indsechead}[3]{\begin{center} {\Large #1} \end{center}
\markright{#2} \addcontentsline{toc}{subsection}{#3}
\thispagestyle{plain}}

\def\subsechead#1{
	\par\vspace{.2in}
	\centerline{\large #1}
	\par
	}

\newcommand{\spechead}[3]{\begin{center} {\Large Specification: #1}
\end{center} \markright{Specification: #2}
\addcontentsline{toc}{section}{\hspace*{.5in}#3}
\thispagestyle{plain}}

\newcommand{\implhead}[3]{\begin{center} {\Large Implementation: #1}
\end{center} \markright{Implementation: #2}
\addcontentsline{toc}{section}{\hspace*{.5in}#3}
\thispagestyle{plain}}

\newcommand{\codehead}[3]{\begin{center} {\Large Code: #1}
\end{center} \markright{Code: #2}
\addcontentsline{toc}{section}{\hspace*{.5in}#3}
\thispagestyle{plain}}

\newcommand{\testhead}[3]{\begin{center} {\Large Testing: #1}
\end{center} \markright{Testing: #2}
\addcontentsline{toc}{section}{\hspace*{.5in}#3}
\thispagestyle{plain}}

\newcommand{\subtesthead}[3]{\begin{center} {\Large #1}
\end{center} \markright{#2}
\addcontentsline{toc}{subsection}{\hspace*{.5in}#3}}

\newcommand{\specssec}{\addtocontents{toc}{\protect\contentsline{section}{Specifications}{}}}

\newcommand{\implsec}{\addtocontents{toc}{\protect\contentsline{section}{Implementation Design}{}}}

\newcommand{\codesec}{\addtocontents{toc}{\protect\contentsline{section}{Program Code}{}}}

\newcommand{\testsec}{\addtocontents{toc}{\protect\contentsline{section}{Testing}{}}}
