(This file public domain.) w32tex sources from Akira Kakuto: http://w32tex.org CTAN/systems/win32/w32tex/