[Main]
Name=uintptr_t
Type=Type
Subtype=Scalar
Header Files=stdint.h
Definition=typedef unsigned long uintptr_t;

[Description]
An unsigned integer large enough to hold a void* pointer (specified by C99).

[Explanation]
This type can be used when one wants to store a pointer value in an unsigned integer.
