Joseph Rushton Wakeling: > Is the invariant() not going to be stripped out at compile time > if you use -release ? Right. assert is enough there. Use enforce() only in special cases, when you need it. Better to minimize the usage of enforce() in library code that has to be called many times. Bye, bearophile