Implement get-unique-id().