smt2 (32bits): exit, cmpeq, cmplts