in src/ctest.c [449:452]
static void uint8_t_ToString(char* string, size_t bufferSize, uint8_t val) { (void)snprintf(string, bufferSize, "%"PRIu8, val); }