artemp 99bbb10290 c++11 : use int types from <cstdint>		2014-05-06 18:06:47 +01:00
..
input	c++11 : use int types from <cstdint>	2014-05-06 18:06:47 +01:00