void main() {
    switch (1) {
        default:
        default:
            break;
    }
}