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

[Summary]
A ISO C99 normalized type.

[Description]
An signed 32-bits value.