proc crudetype (
   file,f                   : file      = $required
   starting_page,sp         : integer   = $optional
   maximum_pages,mp         : integer   = $optional
   page_numbers,pn          : boolean   = true
   extra_magnification,em   : integer   = 100
   status)

filename= $path($fname($string($value(file))),catalog)//..
          '.'//$path($fname($string($value(file))),last)
if $strlen(filename) >=4 and ..
   $substr(filename,$strlen(filename)-3,4)='_DVI' then
else
   filename=filename//'_DVI'
ifend
filename2=$substr(filename,1,$strlen(filename)-3)//'LST'
copy_file $fname(filename) $null " checks if file exists "

if $specified(starting_page) then; starting_variable=$value(starting_page)
else; starting_variable=0; ifend

if $specified(maximum_pages) then; max_pages_variable=$value(maximum_pages)
else; max_pages_variable=1000000; ifend

exet     f=:$lib.public.tex.bin.tex_library ..
         m=crudetype_module ..
         l=:$lib.public.tex.bin.tex_library ..
         pv=zero ..
         p= ..
',,,printfile=$fname(filename2),dvifile=$fname(filename),tfm_file,pxlfile,'//..
'PAGENUMBERS=$value(pn),FIRSTPAGE=starting_variable,'//..
'MAXPAGES=max_pages_variable,VAREXTRAMAG=$value(em)'
procend