OpExp(GeOp,
 IntExp(23),
 IntExp(85))