<svg xmlns="http://www.w3.org/2000/svg" version="1.1">
<text x="0" y="20">predef::ADT.Queue</text> <text x="40" y="40">predef::SSL.context</text> <text x="80" y="60">predef::Stdio.Port</text> <text x="120" y="80">predef::SSL.sslport</text> <text x="160" y="100">predef::SSL.https</text>
<line x1="5" y1="25" x2="5" y2="76" style="stroke:rgb(0,0,0);stroke-width:2" /> <line x1="45" y1="45" x2="45" y2="76" style="stroke:rgb(0,0,0);stroke-width:2" /> <line x1="85" y1="65" x2="85" y2="76" style="stroke:rgb(0,0,0);stroke-width:2" /> <line x1="5" y1="75" x2="115" y2="75" style="stroke:rgb(0,0,0);stroke-width:2" /> <line x1="125" y1="85" x2="125" y2="96" style="stroke:rgb(0,0,0);stroke-width:2" /> <line x1="125" y1="95" x2="155" y2="95" style="stroke:rgb(0,0,0);stroke-width:2" />
</svg>