[Main]
Name=uint32_t
Type=Define
Header=stdint.h
Definition=typedef uint32_t

[Summary]
A ISO C99 normalized type.

[Description]
An unsigned 32 bits value.