\input{common}                                          % bespoke macros used in the document
\input{cfa-format}

% \CFADefaultStyle

% \lstset{
% morekeywords=[2]{nomutex,mutex,thread,wait,wait_release,signal,signal_block,accept,monitor,suspend,resume,coroutine},
% keywordstyle=[2]\color{blue},				% second set of keywords for concurency
% basicstyle=\linespread{0.9}\tt\small,		% reduce line spacing and use typewriter font
% stringstyle=\sf\color{Mahogany},			% use sanserif font
% commentstyle=\itshape\color{OliveGreen},		% green and italic comments
% }%