To make a copy of a file, without the first few line, use:

  $ OPEN/READ INFILE input-file
  $ OPEN/WRITE OUTFILE output-file
  $ READ INFILE DUMMY
  ...
  $ READ INFILE DUMMY
  $ COPY INFILE: OUTFILE:
  $ CLOSE INFILE
  $ CLOSE OUTFILE