delay: include stdint.h for uint32_t data type