-------------
</span>    <span class="comment">// In the company works Claudia. 
</span>    <span class="comment">// This is the map of her regular working times:
</span>    <span class="identifier">interval_map</span><span class="special">&lt;</span><span class="identifier">date</span><span class="special">,</span><span class="keyword">int</span><span class="special">&gt;</span> <span class="identifier">claudias_working_hours</span><span class="special">;</span>

    <span class="comment">// Claudia is wor