Yes. It's like writing code that's aware of MAX_INT. The code doesn't need to know the value of MAX_INT. It just has to handle special cases near that number.