<area shape="rect" href="$shell_8h.html#f11c966b0e4f4ecaa73deb14bfb6830f" title="shell_output" alt="" coords="133,5,219,29">
<area shape="rect" href="$shell_8h.html#123c95a7bb55143cabba92446ce8f513" title="shell_prompt" alt="" coords="132,53,220,77">
