Decoding a UUID by hand: version, variant, and the embedded timestamp

Background A UUID (Universally Unique Identifier) is a 128-bit value written as 32 hex...