readlines is a generator