prototype for pdflatex