xp param R;
socket red;
xp col[1] address(0x7C46);
sp s[n=R];
u32 ADV = 0x09409249;
{
    ∀r in [0, R) {
        sp t = red[];
        red[] <- t + (sp)(100 * (r + 1) + col[0]);
        red[] <- control(ADV);
        s[r] <- red[];
    }
}