usb_ts_rand_noise
(((uint32_t)usb_ts_rand_noise()) % 2000000U));
len = ((uint32_t)usb_ts_rand_noise()) % ((uint32_t)io_max);
dly = ((uint32_t)usb_ts_rand_noise()) % 16000U;
do_read = (usb_ts_rand_noise() & 1);
io_offset = usb_ts_rand_noise();
usleep(((uint32_t)usb_ts_rand_noise()) % 10000U);
usleep(((uint32_t)usb_ts_rand_noise()) % 100000U);
io_size = ((uint32_t)usb_ts_rand_noise()) & 65535U;
reference[x] = usb_ts_rand_noise() % 255U;
extern int32_t usb_ts_rand_noise(void);