0x3f3f3f3f 는 10e9 넘고 두배 해도 int overflow 안 난다 정도는 알겠는데

0x7f7f7f7f 를 쓰는 이유는 뭐야?

걍 치기 편하고 INT_MAX 에 가까워서 그런가?