(This file public domain.)

w32tex sources from Akira Kakuto:
http://w32tex.org