comment the use of the Int key class