Avoid any chance for errors by making the counter and random number 64
bit uints.