Check assignments of literals to fixed-width integer variables to make sure that they are within range (except int64 which cant be accommodated in an int).
Check assignments of literals to fixed-width integer variables to make sure that they are within range (except int64 which cant be accommodated in an int).

tinelli/kind2,tinelli/kind2,kind2-mc/kind2,daniel-larraz/kind2,tinelli/kind2,tinelli/kind2,tinelli/kind2,tinelli/kind2