/latex-test/ref/TypeFamilies3/