\programVariables {
 byte b;
 byte c;
}


\problem {
b=c & 0<=b & b<100
-> \<{
boolean r = (++b==(byte)(c+1));
    }\> r=TRUE

}