10.3 Functions in <assert.h>