Is it possible to load just the first few rows of a csv file into DolphinDB?

Question

I need to work with some very large csv files. Some of them are larger than my laptop RAM. I know I can use DolphinDB function loadTextEx to load large csv files in