settype dvi &CE4 
settype log Text 
settype Tex Text 
*quit