• DBC_INV : dbc.h
• DBC_INV_CTOR : dbc.h
• DBC_INV_RAII : dbc.h
• DBC_IS_VOID : dbc.h
• DBC_POST : dbc.h
• DBC_PRE : dbc.h