12px; font-weight: bold;">&nbsp; case 1: <br></span><span style="font-family: monospace; font-size: 12px; font-weight: bold;">&nbsp; case 2: <br></span><span style="font-family: monospace; font-size: 12px; font-weight: bold;">&nbsp; &nbsp; do_something(); break;<br></span><span style="font-family: monospace; font-size: 12px; font-weight: bold;">&nbsp; case 3: <br></span><span style="font-family: monospace; font-size: 12px; font-weight: bold;">&nbsp; case 4:<br></span><span style="font-family: monospace; fon