When writing software in C and C++, it is common to add C asserts to check that some conditions are satisfied at runtime. Often, it is a simple comparison between two values. In many instances, these asserts are effectively free as far as performance goes…