() f()
{
    var count#[2] a = [1,2];
    var count#[0] b = [];
    
    for count i in a {
        for count j in b {
            // ...
        } loopend {
            
        } loopempty {
            a#[i] = 33;
        }
    } loopend {
        a#[0] = 12;
    } loopempty {
        a#[0] = 21;
    }
    
    
    for count i in b {
        // ...
    } loopempty {
        a#[1] += 1;
    }
}