WV01: Test basic typeset file output mechanism. @A@ @O@@{@- Some text for no particular reason. @}