Include <stdint.h> in types.h
Replace UINT32_T by uint32_t
Remove useless sizeof(uint32_t) == 4 test