Searched refs:uintx (Results 1 – 1 of 1) sorted by relevance
255 uint32_t uintx = 0; /* Initialized to make gcc happy. */ in main() local280 uintx = range + 1; in main()288 y = arc4random_uniform(uintx) / (double)pow10; in main()