\input deproc.sty