fn main() {
    mut i := 4
    // check branching to a later loop
    L1: for {
        i++
        for {
            if i < 7 {
                continue L2
            } else {
                break L2
            }
        }
    }
    // check branching to an earlier loop
    L2: for e in [1, 2, 3, 4] {
        i = e
        for {
            if i < 3 {
                continue L1
            } else {
                break L1
            }
        }
    }
    // check nested loops (not supported ATM)
    L3: for ; true; i++ {
        L4: for {
            if i < 17 {
                continue L3
            } else {
                break L3
            }
        }
    }
}