Every get_line() call has a has_line() call (and if clause) right before it, so it is not possible that the index function returns nil