add decls.tex