() f()
{
    var count#[2] a = [1,2];
    
    for count i in a {
        // ...
    } loopend {
        a#[0] = i; // ERROR not allowed to access loop variable from here!
    } loopempty {
        a#[0] = i; // ERROR not allowed to access loop variable from here!
    }
    
    
    for count i in a {
        // ...
    } loopempty {
    } loopend { // ERROR wrong order of loopend/loopempty blocks!
    }
    
    for count i in a {
        // ...
    } loopempty {
    } loopempty { // ERROR duplicate blocks!
    }
    
    for count i in a {
        // ...
    } loopend {
    } loopend { // ERROR duplicate blocks!
    }
    
    if :true {
    } loopempty { // ERROR loopempty block used in wrong context
    }
    
    for count i in a
    loopend { // ERROR loop without a loop body!
    }
}