General purpose file extraction utility.  Selects records from the
   beginning, middle, or end of one or more files and optionally performs
   various modifications before writing them out.

   format:
     EXTRACT 'options' file,...
     EXTRACT /RECORD=([START=m,END=n,COUNT=k]) file,...
     EXTRACT /HEAD=k file,...
     EXTRACT /TAIL=k file,...