error: ‘uint32_t’ undeclared