title: Read lines by number from a large file
body: <p>I have a file with 15 million lines (will not fit in memory). I also have a small vector of line numbers - the lines that I want to extract.</p>
  
  <p>How can I read-out the lines in one pass?</p>
  
  <p>I was hoping for a C function that does it on one pass.</p>