Tools for generating and handling of UUIDs
