cation ;)
</span>
    <span class="comment">// company holidays (fictitious ;)
</span>    <span class="identifier">worktime</span> <span class="special">-=</span> <span class="identifier">discrete_interval</span><span class="special">&lt;</span><span class="identifier">date</span><span class="special">&gt;::</span><span class="identifier">closed</span><span class="special">(</span><span class="identifier">from_string</span><span class="special">(</span><span class="string">"2008-08-18"</span><span class="sp