Lijkt oke. Uit de beschrijving:
Uit jouw voorbeeld:
64FE4083D6BA7CB4E0400F0A0E0A18B0 64FE4083D6BB7CB4E0400F0A0E0A18B0 64FE4083D6BC7CB4E0400F0A0E0A18B0 64FE4083D6BD7CB4E0400F0A0E0A18B0 64FE4083D6BE7CB4E0400F0A0E0A18B0
Niemand heeft iets gezegd over de distributie van deze GUID-waarden. Ze zouden niet herhalend moeten zijn en dat zijn ze ook. Tenzij je elke keer precies dezelfde output krijgt.