Something wrong with the int literal