Include internal.h for uint32_t and use it.