def _random_getnode():
    """Get a random node ID, with eighth bit set as suggested by RFC 4122."""
    import random
    return random.randrange(0, 1<<48L) | 0x010000000000L
Get a random node ID, with eighth bit set as suggested by RFC 4122.
debugger/src/_pydev_imps/_pydev_uuid_old.py