printFailureListMark
virtual void printFailureListMark( int failureNumber );
virtual void printFailureListMark( int failureNumber,
printFailureListMark( failureNumber );
printFailureListMark( failureNumber, stream );