﻿namespace N {
    X := 0;
    L0: X := X + 1;
    if (X > 2) goto L1;
    goto L0;
}
L1: N.X; X;
