Equivalent:

    curl $download_url -o $url_file