def header(fname, sep="<STR_LIT:\t>"):
fh = iter(nopen(fname))<EOL>h = tokens(next(fh), sep)<EOL>h[<NUM_LIT:0>] = h[<NUM_LIT:0>].lstrip("<STR_LIT:#>")<EOL>return h<EOL>
just grab the header from a given file