fix the value of MAX_INT