def convert_int_to_uint256(num: int):
    if (num < 0):
        num += (2 ** 256)
    return session_empty_token_contract.Uint256(low=(num % (2 ** 128)), high=(num // (2 ** 128)))
def convert_int_to_uint256(num: int):
    if (num < 0):
        num += (2 ** 256)
    return session_empty_token_contract.Uint256(low=(num % (2 ** 128)), high=(num // (2 ** 128)))