Tools for generating and handling of UUIDs (Universally Unique
Identifiers).
