in src/ctest.c [459:462]
static void uint16_t_ToString(char* string, size_t bufferSize, uint16_t val) { (void)snprintf(string, bufferSize, "%"PRIu16, val); }