sind denn die ganzen ui8_t, ui16_t und ui32_t definiert ?