Use stdint macros for specifying size of constants