Use rand
instead of getrandom
for IDs
#614
Merged
rand
instead of getrandom
for IDs
#614