/* * Print an UUID in a human-readable manner. */