span></code> is used to check correctness
        conditions (conceptually similar to <code class="computeroutput"><span class="identifier">assert</span></code>).
        A failure of the checked condition does not abort the execution of the program,
        it will instead make <code class="computeroutput"><span class="identifier">boost</span><span class="special">::</span><span class="identifier">report_errors</span></code>
        return a non-zero program exit code. Using Boost.Core/LightweightTest allo