secure_get_random
device->address.data[i] = secure_get_random<uint8>();
bufs[i] = secure_get_random<uint8>();
__stack_chk_guard = secure_get_random<long>();
addr_t random = secure_get_random<addr_t>();