a random coin (random)