\documentstyle{report}

\pagestyle{myheadings}
\def\headlineaux{\sc Math 220/317: Programming II/Data Structures
\hrulefill
}
\markboth{\headlineaux}{\headlineaux}

\setlength{\textwidth}{6.25in}
\setlength{\oddsidemargin}{0in}
\setlength{\evensidemargin}{0in}

\newcommand{\notesNumber}{1}
\newcommand{\outdate}{12 September, 1995}

\begin{document}
\begin{titlepage}\begin{centerline}{\Huge \framebox{Burt Rosenberg}}
\end{centerline}\end{titlepage}

\section*{Notes \notesNumber: Assertions and Loop Invariants
\hfill{\parbox{2in}
    {\small\sc\begin{flushright} Out: \outdate\end{flushright}}}}

\noindent{\bf Example 1:}
\begin{verbatim}
void blab( int count ) {

   /* ASSERT: count > 0 */
   if ( count <= 0 ) {
      printf("blab: Assertion failed\n") ;
      return ;
   }

   while ( count-- ) printf("blah\n") ;

}
\end{verbatim}
\noindent{\bf Example 2:}
\begin{verbatim}
int str_equ( char *s, char *t) {
   int i = length(s) ;

   if ( length(t) != i ) return (1==0) ;
   /* ASSERT: the strings are of equal length */

   while ( i-- ) if ( s[i]!=t[i] ) return(1==0) ;
   return(0==0) ;

}
\end{verbatim}
\noindent{\bf Example 3:}
\begin{verbatim}
   .
   .
   .
   if (a<b) {
      int tmp ;
      tmp = a ;
      a = b ;
      b = tmp ;
   }
   /* ASSERT: a >= b */
   .
   .
   .
\end{verbatim}

\end{document}
