// example from page 104 \programVariables { int c; } \problem { ({c:=0}c)=c }