c++11 : use int types from <cstdint>