tton "></button><a href="../control.html"><span class="micon pa"></span><span>control</span></a></span><div class="ni n2 "><span class="nh "><a href="../control/InterruptiblyExtensions$.html"><span class="micon ob"></span><span>InterruptiblyExtensions</span></a></span></div></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="../io.html"><span class="micon pa"></span><span>io</span></a></span><div class="ni n2 "><span class="nh "><a href="../io/Input.html"><span class