| Run TeX with the LaTeX format preloaded
WimpSlot 3800k
bigvirtex &latex %*0
