code: def copy_file(
      src_file: str,
      dst_dir: str,
      strip: str = None,
  ) -> None:
      """Copy a file to the destination directory.
  
      Args:
        src_file: file to be copied
        dst_dir: destination directory
        strip: prefix to strip before copying to destination
      """
  
      # strip `bazel-out/.../bin/` for generated files.
      if src_file.startswith("bazel-out"):
          dest = src_file[src_file.index("bin") + 4 :]
      else:
          dest = src_file
  
      if strip:
          dest = dest.removeprefix(strip)
      dest_dir_path = os.path.join(dst_dir, os.path.dirname(dest))
      os.makedirs(dest_dir_path, exist_ok=True)
      shutil.copy(src_file, dest_dir_path)
      os.chmod(os.path.join(dst_dir, dest), 0o644)
  
imports: import os
  import shutil
  import sys
label_desc: Use image node_id 5 for calling a global function with example usage: copy_file(src_file, dst_dir, strip) without return types