linkname "";

int main()
{
    var int state = 0;
    // 1 level
    while :true {
        break;
        assert :false;
    }
    // 1 level out of 2 levels
    do {
        while :true {
            break;
            assert :false;
        }
        state = 1;
    } while :false;
    assert state == 1;
    // 1 level out of switch-case in loop
    while :true {
        var int a = 2;
        switch a {
            case 1
            case 2 {
                state = 3;
                break; // out of loop
                assert :false;
            }
            case 3 {
                assert :false;
            }
        }
        assert :false;
    }
    assert state == 3;
    return 0;
}