(TXT) protcode.tex