Spek for the UUID Nonce Generator