Put an if statement containing an assert(). If NDEBUG is defined,
it should be a fall-through having zero effect on performance.