getstore($url, $file);
# and preferable in some cases–
mirror($url, $file);