why not use uint64_t and uint32_t from stdint.h to be explicit?