Interleaving the Color Stack #1

PushColor() {

if (s[top] == purple) {

ASSERT(s[top-1] == blue);

push(blue);

} else {

ASSERT(s[top] == blue);

ASSERT(s[top-1] == purple);

push(purple);

}

ThreadBody() {

while(1)

PushColor();

}