That would be exactly the case where an assert() would be useful.