For now the inttypes.h of the development computer is used. Which is a bad state. The reason is It should be fixed by creating a stdint.h in the Baselib, which defines types like uint32_t, etc., or by entirely replacing the Baselibs with the newlib.