When we use system.io.ReadLines the content of the file should not be loaded to memory right?

say I want to create a function.

The function accept a string, say "post.txt" where post.txt is a large file (3G)

I want to put the first 100k line of post.txt on post.txt and the rest on reserve_post.txt

How would I do so?