n ← 0; n ← n + 1; n ← n + 1; n ← n + 1; n ← n + 1;
m ← 0; k ← 0;
LOOP n;
    m ← m + 1;
    LOOP m;
        k ← k + 1;
    END;
END;