def generate_uuid1_int():
    """# TODO: clarify, what kind of integer ID is used in mysql. Generates a proxy ID, which is used in the stubs"""
    from uuid import uuid1
    return uuid1().int>>64