\documentclass[10pt,openany,oneside]{book}
\usepackage[left=1in,right=1in,top=1in,bottom=1in,headheight=14pt,headsep=14pt]{geometry}

\usepackage[draft]{checked_c}

\usepackage{bytefield}
\usepackage{xspace}

\title{Putting the Checks into Checked C \\%
Checked C Technical Report Number 2}

\author{Archibald Samuel Elliott}

\date{31 October 2017}

\hypersetup{%
pdftitle={Putting the Checks into Checked C},
pdfauthor={Archibald Samuel Elliott},
pdfsubject={Checked C Technical Report Number 2}
}

\allowdisplaybreaks

\input{scripts/bm_results_macros}

\begin{document}

\frontmatter
\begin{titlepage}
\begin{center}
\vspace*{2in}
{\huge Putting the Checks into Checked C \\}
\vspace{0.5in}
{Checked C Technical Report Number 2\medskip\\}
{\makeatletter\@date\makeatother\\}
\vspace{0.25in}
{\large Archibald Samuel Elliott\medskip\\}
{Paul G. Allen School,\\
University of Washington\\}
\vspace{1in}
{\it Summary \par}
\begin{minipage}{5in}
\input{abstract}
\end{minipage}
\end{center}
\end{titlepage}

\tableofcontents

\mainmatter
\input{introduction}
\input{overview}
\input{example}
\input{propagation}
\input{checks}
\input{evaluation}
\input{related_work}
\input{conclusion}

\appendix
\addtocontents{toc}{%
  \protect\bigbreak
  {\large\bfseries \hfill Appendices\hfill }
  \protect\smallbreak
 }

\bibliography{checkedc}
\theendnotes
\input{c_syntax}
\input{propagation_rules}


\end{document}
