cast (uint32_t) to prevent warnings