• check : dbc.h
• concat_2str : utils.h
• concat_3str : utils.h
• concat_4str : utils.h
• concat_5str : utils.h
• concat_6str : utils.h
• concat_7str : utils.h
• ensure : dbc.h
• int2nstr : utils.h
• int2str : utils.h
• invariant : dbc.h
• length_vargs_string_list : utils.h
• not_null : utils.h
• perc2str : utils.h
• require : dbc.h