is [first_line, last_line] a closed range, not half-open?