\programVariables {
   int x;
}

\problem{
   \<{ x = x + 1; }\> x >= 4
}