System Workbench for STM32

Hello,
thank you Roy, this is important part of the documentation for STM32 programming which I didn't know sooner.
So the data types are somehow defined in the GCC source files but not in the c-files or h-files. I assume that similarly (invisible for the user) are defined also the keywords or macros used in the machine/_default_types.h file.
These are:

__INT8_TYPE__ 
__UINT8_TYPE__
__INT16_TYPE__
__UINT16_TYPE__
__INT32_TYPE__
__UINT32_TYPE__
__INT64_TYPE__
__UINT64_TYPE__

However they are not explicitly defined in c-files or h-files.

Note: I changed the title of the topic to be more precise.
Best regards
vt