Use intttypes.h