code: def s3_download(url: str, destination: str) -> None:
      """Download a file from an Amazon S3 path `s3://<bucket_name>/<key>`
  
      Requires the boto3 library to be installed and AWS credentials being set
      via environment variables or a credentials file
  
      Args:
          url: The source URL.
          destination: Path to the file destination (including file name).
      """
      import boto3
  
      s3 = boto3.resource(
          "s3", endpoint_url=os.environ.get("AWS_ENDPOINT_URL")
      )
  
      bucket, key = url[5:].split("/", maxsplit=1)
      file_object = s3.Object(bucket, key)
      file_size = file_object.content_length
      with tqdm(total=file_size, unit="B", unit_scale=True) as pbar:
          file_object.download_file(destination, Callback=pbar.update)
  
imports: import collections
  import gzip
  import os
  import secrets
  import shutil
  import tarfile
  import zipfile
  from hashlib import md5
  from itertools import chain
  from logging import getLogger
  from pathlib import Path
  from typing import Any, Generator, Iterable, List, Mapping, Optional, Sequence, Sized, Union, Collection
  from urllib.parse import urlencode, parse_qs, urlsplit, urlunsplit, urlparse
  import numpy
  import requests
  from tqdm import tqdm
label_desc: Use image node_id 2 for calling a global function with example usage: s3_download(url, destination) without return types