OpExp(LtOp, IntExp(23), IntExp(85))