; font-weight: bold;"><br>casemin</span>

</small>

<div style="margin-left: 40px;"><small><span style="font-family: Helvetica,Arial,sans-serif;">Minimal switch case</span></small></div><small><span style="font-family: Helvetica,Arial,sans-serif; font-weight: bold;">casemax</span>

</small>

<div style="margin-left: 40px;"><small><span style="font-family: Helvetica,Arial,sans-serif;">Maximal switch case. For signed switches, <span style="font-weight: bold;">casemin</span>, treated as an unsigned number,