+ 19.3 Diagnostics library, Assertions: <cassert>