//_ NoBug Reference Manual
//_ ======================
//_ Christian_Thäter,_Benny_Lyons
//_
//_ [abstract]
//_ *****************************************************************
//_ Nobug is a debugging library for instrumenting C and C++ programs
//_ inspired by ideas originating from Design-by-Contract.
//_ *****************************************************************
//_
//_ [quote]
//_ __________________________________________________________________
//_ Everyone makes mistakes, but with NoBug you won't make them twice!
//_ __________________________________________________________________
//_
//_ ifdef::basebackend-latex[]
//_ Contents
//_ --------
//_ endif::basebackend-latex[]
//_
//=overview
//=buildinstall

//=using
//=additional
//=whichlibrary
//=initialization

//=buildlevels

//=logging
//=logconfiguration
//=logflags
//=logflagsenv

//=predefflags

//=logflagsexample

//=logformat

//=macros


//=parametertable

//=srccontext

//=assertions

//=logmacros

//=dumping
//=dumpmacros
//=dumpexample

//=annotations
//=annotationtable

//=scopechecks

//=assertiontable

//=faultinjection

//=coverageintro
//=coverage

//=resourcetracking
//=resourcemacros

//=resourceexample

//=resourcedeadlock

//=callbacks

//=toolmacros

//=multithreading

//=rbdump

//=testsuite

//=bestpractices

//_
//_ Appendix
//_ --------
//_
//=dlalgo

//_
//_ Index
//_ -----
//_
Todo index only for html generation, other dockbook toolchains generate
the index automatically
//=index
//_

//=license

//_ Credits
//_ -------
//_
//=credits