<map id="ystdex::dynamic_pointer_cast" name="ystdex::dynamic_pointer_cast">
<area shape="rect" id="node2" href="$de/d26/a01035.xhtml#ae57e816d8acb54c2e122e12c4160a35c" title="ystdex::dynamic_pointer_cast" alt="" coords="249,5,445,32"/>
</map>
