@pytest.mark.asyncio
async def test_permissioned_mint_total_supply_out_of_range(token_contract: StarknetContract, uint256: Callable):
    amount = uint256((AMOUNT_BOUND - initial_total_supply))
    with pytest.raises(StarkException, match=f'assert \(is_overflow\) = 0'):
        (await token_contract.permissionedMint(recipient=uninitialized_account, amount=amount).invoke(caller_address=MINTER_ADDRESS))
@pytest.mark.asyncio
async def test_permissioned_mint_total_supply_out_of_range(token_contract: StarknetContract, uint256: Callable):
    amount = uint256((AMOUNT_BOUND - initial_total_supply))
    with pytest.raises(StarkException, match=f'assert \(is_overflow\) = 0'):
        (await token_contract.permissionedMint(recipient=uninitialized_account, amount=amount).invoke(caller_address=MINTER_ADDRESS))