\subsection{Miscillaneous Predicates}


   %predicates for initialization. etc.
   pfcReset/0,	%