Name: mc57594 Date: 02/07/97


14.9 requires that all BlockStatements in a SwitchBlock are
preceded by SwitchLabels. Your compiler does not require this, instead it
allows the block to begin with unlabelled statements. E.g.:

class X {
    {
        switch (0) {
            int x = 5;
        }
    }
}
======================================================================