\programVariables { 
  int c;
}

\problem {

{c:=0}(c=0)

}