RFC 4122: A Universally Unique IDentifier (UUID) URN Namespace, section 4.2