code: def download_movielens(size, dest_path):
      """Downloads MovieLens datafile.
  
      Args:
          size (str): Size of the data to load. One of ("100k", "1m", "10m", "20m").
          dest_path (str): File path for the downloaded file
      """
      if size not in DATA_FORMAT:
          raise ValueError(f"Size: {size}. " + ERROR_MOVIE_LENS_SIZE)
  
      url = (
          "https://files.grouplens.org/datasets/movielens/ml-"
          + size
          + ".zip"
      )
      dirs, file = os.path.split(dest_path)
      maybe_download(url, file, work_directory=dirs)
  
imports: import os
  import re
  import random
  import shutil
  import warnings
  import pandas
  from typing import Optional
  from zipfile import ZipFile
  from recommenders.datasets.download_utils import maybe_download, download_path
  from recommenders.utils.notebook_utils import is_databricks
  from recommenders.utils.constants import DEFAULT_HEADER, DEFAULT_ITEM_COL, DEFAULT_USER_COL, DEFAULT_RATING_COL, DEFAULT_TIMESTAMP_COL, DEFAULT_TITLE_COL, DEFAULT_GENRE_COL
  import pandera
  import pandera.extensions
  from pandera import Field
  from pandera.typing import Series
label_desc: Use image node_id 7 for calling a global function with example usage: download_movielens(size, dest_path) without return types