dot output

[Henry Cejtin]

Actually, both entries to the label are from a case.  In the C code there is
only one (conditional) branch into the label and no fall-throughs into the
label.