// This is an example from p.500 (the corrected version of the program) \problem { \<{ int x; int res; if(x==0) { res=1; } else { res=x/x; } }\> res=1 }