---- MODULE pluscal ---- EXTENDS Integers, TLC (* --algorithm pluscal variables x = 2; y = TRUE; begin A: x := x + 1; B: x := x + 1; y := FALSE; end algorithm; *) ====