#!/bin/bash

url="$1"
out="$2"
from="$3"
to="$4"
while true; do
	get-range "$url" $from $to |
	file-insert "$out" $from $to && break
done

echo >&2 OK get-range-into "$@"