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